Symbol: acpi_timer_get_timecount24
sys/dev/acpica/acpi_timer.c
201
acpi_cputimer.count = acpi_timer_get_timecount24;
sys/dev/acpica/acpi_timer.c
60
static sysclock_t acpi_timer_get_timecount24(void);