#define ACPI_FADT_LEGACY_DEVICES
#define ACPI_FADT_S4_RTC_WAKE
static int permanent_smi_handler(void)
#define ACPI_ACCESS_SIZE_WORD_ACCESS
#define ACPI_ACCESS_SIZE_DWORD_ACCESS
#define ACPI_FADT_SLEEP_BUTTON
#define ACPI_FADT_MSI_NOT_SUPPORTED
#define ACPI_FADT_C1_SUPPORTED
#define ACPI_ACCESS_SIZE_BYTE_ACCESS
#define ACPI_ADDRESS_SPACE_IO
void acpi_fill_fadt(acpi_fadt_t *fadt)
acpi_addr_t x_pm1a_evt_blk
acpi_addr_t x_pm1a_cnt_blk