Lines Matching defs:acpi_timer_read
108 acpi_timer_read(void)
306 (void)acpi_timer_read();
307 (void)acpi_timer_read();
320 return (acpi_timer_read());
335 u2 = acpi_timer_read();
336 u3 = acpi_timer_read();
340 u3 = acpi_timer_read();
407 last = acpi_timer_read();
409 this = acpi_timer_read();
445 u1 = acpi_timer_read();
446 u2 = acpi_timer_read();
447 u3 = acpi_timer_read();
463 u3 = acpi_timer_read();