acpihpet_gettime   36 dev/acpi/acpihpet.c u_int acpihpet_gettime(struct timecounter *tc);
acpihpet_gettime   39 dev/acpi/acpihpet.c 	acpihpet_gettime,	/* get_timecount */