Symbol: acpi_timer_get_timecount
sys/dev/acpica/acpi_timer.c
195
acpi_timer_timecounter.tc_get_timecount = acpi_timer_get_timecount;
sys/dev/acpica/acpi_timer.c
77
static u_int acpi_timer_get_timecount(struct timecounter *tc);