Symbol: acpi_hpet
src/add-ons/kernel/drivers/timer/hpet.cpp
363
acpi_hpet *hpetTable;
src/system/boot/arch/x86/arch_hpet.cpp
38
acpi_hpet *hpet = (acpi_hpet *)acpi_find_table(ACPI_HPET_SIGNATURE);