ACPI_TABLE_HPET
ACPI_TABLE_HPET hpet;
ACPI_TABLE_HPET *hpet_table; /* ACPI HPET table */
hpet_validate_table(ACPI_TABLE_HPET *hpet_table)
if (table_header->Length != sizeof (ACPI_TABLE_HPET)) {
(unsigned long)sizeof (ACPI_TABLE_HPET));
static int hpet_validate_table(ACPI_TABLE_HPET *hpet_table);
hpet_memory_map(ACPI_TABLE_HPET *hpet_table)
static void *hpet_memory_map(ACPI_TABLE_HPET *hpet_table);
extern ACPI_TABLE_HPET *hpet_table;
#define ACPI_HPET_OFFSET(f) (UINT16) ACPI_OFFSET (ACPI_TABLE_HPET,f)
#define ACPI_HPET_FLAG_OFFSET(f,o) ACPI_FLAG_OFFSET (ACPI_TABLE_HPET,f,o)