Searched refs:acpi_os_get_timer (Results 1 – 5 of 5) sorted by relevance
329 u64 acpi_os_get_timer(void);
107 timer = ((u32)acpi_os_get_timer() / 10); /* (100 nanoseconds to microseconds) */ in acpi_ex_do_debug_object()
103 acpi_ut_create_integer_object(acpi_os_get_timer()); in acpi_ex_opcode_0A_0T_1R()
984 u64 acpi_os_get_timer(void) in acpi_os_get_timer() function
902 u64 acpi_os_get_timer(void) in acpi_os_get_timer() function