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;