Searched refs:os_get_nsec (Results 1 – 5 of 5) sorted by relevance
40 return os_get_nsec() / 1000 + sandbox_timer_offset * 1000; in timer_read_counter()
24 return os_get_nsec() / 1000 + sandbox_timer_offset * 1000; in timer_early_get_count()
171 uint64_t os_get_nsec(void);
161 uint64_t count = os_get_nsec(); in timer_get_boot_us()
191 uint64_t __attribute__((no_instrument_function)) os_get_nsec(void) in os_get_nsec() function