15 #if CONFIG(HUDSON_LEGACY_FREE)
16 #define FADT_BOOT_ARCH ACPI_FADT_LEGACY_FREE
18 #define FADT_BOOT_ARCH (ACPI_FADT_LEGACY_DEVICES | ACPI_FADT_8042)
#define HUDSON_ACPI_IO_BASE
#define ACPI_SMI_CMD_ENABLE
#define ACPI_SMI_CMD_DISABLE
#define ACPI_SMI_CTL_PORT
#define printk(level,...)
#define ACPI_FADT_S4_RTC_WAKE
#define ACPI_FADT_PLATFORM_CLOCK
#define ACPI_FADT_32BIT_TIMER
#define ACPI_FADT_C2_NOT_SUPPORTED
static int permanent_smi_handler(void)
#define ACPI_ACCESS_SIZE_UNDEFINED
#define ACPI_ACCESS_SIZE_WORD_ACCESS
#define ACPI_FADT_S4_RTC_VALID
#define ACPI_ACCESS_SIZE_DWORD_ACCESS
#define ACPI_FADT_SLEEP_BUTTON
#define ACPI_FADT_REMOTE_POWER_ON
#define ACPI_FADT_PCI_EXPRESS_WAKE
#define ACPI_FADT_C1_SUPPORTED
#define ACPI_ACCESS_SIZE_BYTE_ACCESS
#define ACPI_FADT_C3_NOT_SUPPORTED
#define ACPI_ADDRESS_SPACE_IO
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
void acpi_fill_fadt(acpi_fadt_t *fadt)
acpi_addr_t x_pm1a_evt_blk
acpi_addr_t x_pm1a_cnt_blk