coreboot-kgpe-d16/src/mainboard/tyan/s4880/mainboard.c

#include <console/console.h>
#include <device/device.h>
#include <device/pci.h>
#include <device/pci_ids.h>
#include <device/pci_ops.h>
#include "chip.h"

struct chip_operations mainboard_tyan_s4880_ops = {
	CHIP_NAME("Tyan s4880 mainboard")
};