hpet_tbl          869 arch/x86/kernel/acpi/boot.c 	struct acpi_table_hpet *hpet_tbl = (struct acpi_table_hpet *)table;
hpet_tbl          871 arch/x86/kernel/acpi/boot.c 	if (hpet_tbl->address.space_id != ACPI_SPACE_MEM) {
hpet_tbl          877 arch/x86/kernel/acpi/boot.c 	hpet_address = hpet_tbl->address.address;
hpet_tbl          878 arch/x86/kernel/acpi/boot.c 	hpet_blockid = hpet_tbl->sequence;
hpet_tbl          887 arch/x86/kernel/acpi/boot.c 		       hpet_tbl->id, hpet_address);
hpet_tbl          901 arch/x86/kernel/acpi/boot.c 			       "fix it up to 0xfed00000.\n", hpet_tbl->id);
hpet_tbl          907 arch/x86/kernel/acpi/boot.c 		       "to 0xfed00000.\n", hpet_tbl->id);
hpet_tbl          912 arch/x86/kernel/acpi/boot.c 	       hpet_tbl->id, hpet_address);
hpet_tbl          928 arch/x86/kernel/acpi/boot.c 		 hpet_tbl->sequence);