acpi_get_timecount   35 dev/acpi/acpitimer.c u_int acpi_get_timecount(struct timecounter *tc);
acpi_get_timecount   38 dev/acpi/acpitimer.c 	acpi_get_timecount,	/* get_timecount */