29#define ACPI_SIGNATURE_RSDP "RSD PTR "
57#define ACPI_SIGNATURE_RSDT "RSDT"
136#define ACPI_SIGNATURE_FADT "FACP"
217#define ACPI_SIGNATURE_MADT "APIC"
219#define madt_type_is_valid(var) (var->record_length && ((var->type >= 0 && var->type <= 5) || var->type == 9))
220#define madt_entry_foreach(var, madt) \
221 for (acpi_madt_header_t *var = (void *) ((char *) madt + sizeof(acpi_madt_t)); madt_type_is_valid(var); var = (void *) ((char *) var + var->record_length))
238#define ACPI_SIGNATURE_HPET "HPET"
acpi_rsdp_v2_t acpi_rsdp_t
#define MOS_STATIC_ASSERT
generic_addr_t X_GPE1Block
generic_addr_t X_PM1aEventBlock
generic_addr_t X_PM1bControlBlock
generic_addr_t X_GPE0Block
generic_addr_t X_PM1bEventBlock
generic_addr_t X_PM1aControlBlock
generic_addr_t X_PM2ControlBlock
u8 preferred_power_management_profile
acpi_sdt_header_t sdt_header
generic_addr_t X_PMTimerBlock
acpi_sdt_header_t sdt_header
acpi_madt_header_t header
acpi_madt_header_t header
acpi_madt_header_t header
acpi_madt_header_t header
acpi_madt_header_t header
acpi_madt_header_t header
acpi_madt_header_t header
acpi_sdt_header_t sdt_header
acpi_sdt_header_t sdt_header
acpi_sdt_header_t sdt_header
unsigned long long ptr64_t