Searched refs:acpi_os_get_timer (Results 1 – 5 of 5) sorted by relevance
94 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()
328 u64 acpi_os_get_timer(void);
984 u64 acpi_os_get_timer(void) in acpi_os_get_timer() function
885 u64 acpi_os_get_timer(void) in acpi_os_get_timer() function