46 if (
CONFIG(BOARD_GOOGLE_TIDUS)) {
#define printk(level,...)
void __weak mainboard_smi_sleep(u8 slp_typ)
int __weak mainboard_smi_apmc(u8 data)
void __weak mainboard_smi_gpi(u32 gpi_sts)
int __weak mainboard_io_trap_handler(int smif)
void set_power_led(int state)
#define APM_CNT_ACPI_DISABLE
#define APM_CNT_ACPI_ENABLE
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
void set_gpio(int gpio_num, int value)