Searched refs:acpi_os_get_timer (Results 1 – 3 of 3) sorted by relevance
240 u64 acpi_os_get_timer(void);
104 acpi_ut_create_integer_object(acpi_os_get_timer()); in acpi_ex_opcode_0A_0T_1R()
598 u64 acpi_os_get_timer(void) in acpi_os_get_timer() function