acpi_table_hpet 647 arch/x86/kernel/acpi/boot.c struct acpi_table_hpet *hpet_tbl; acpi_table_hpet 649 arch/x86/kernel/acpi/boot.c hpet_tbl = (struct acpi_table_hpet *)table;