Symbol: acpi_timer_get_timecount
sys/dev/acpica/acpi_timer.c
198
acpi_cputimer.count = acpi_timer_get_timecount;
sys/dev/acpica/acpi_timer.c
59
static sysclock_t acpi_timer_get_timecount(void);