Symbol: _acpi_get_timer_safe
sys/dev/acpica/acpi_timer.c
230
acpi_timer_offset = (uint32_t)oldclock - _acpi_get_timer_safe();
sys/dev/acpica/acpi_timer.c
288
counter = _acpi_get_timer_safe();