Symbol: _acpi_get_timer
sys/dev/acpica/acpi_hpet.c
121
_acpi_get_timer(void)
sys/dev/acpica/acpi_timer.c
126
_acpi_get_timer(void)