Symbol: acpi_timer_read
sys/dev/acpica/acpi_timer.c
284
(void)acpi_timer_read();
sys/dev/acpica/acpi_timer.c
285
(void)acpi_timer_read();
sys/dev/acpica/acpi_timer.c
298
return (acpi_timer_read());
sys/dev/acpica/acpi_timer.c
313
u2 = acpi_timer_read();
sys/dev/acpica/acpi_timer.c
314
u3 = acpi_timer_read();
sys/dev/acpica/acpi_timer.c
318
u3 = acpi_timer_read();