Symbol: acpihpet_gettime
sys/dev/acpi/acpihpet.c
37
u_int acpihpet_gettime(struct timecounter *tc);
sys/dev/acpi/acpihpet.c
45
.tc_get_timecount = acpihpet_gettime,