Symbol: _acpi_get_timer
sys/dev/acpica/acpi_hpet.c
527
acpi_hpet_offset = (uint32_t)oldclock - _acpi_get_timer();
sys/dev/acpica/acpi_hpet.c
541
counter = _acpi_get_timer();
sys/dev/acpica/acpi_timer.c
244
counter = _acpi_get_timer() & (uint32_t)ACPI_TIMER24_MASK;
sys/dev/acpica/acpi_timer.c
266
counter = _acpi_get_timer();