Searched refs:os_get_nsec (Results 1 – 5 of 5) sorted by relevance
41 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()
162 uint64_t os_get_nsec(void);
284 uint64_t count = os_get_nsec(); in timer_get_boot_us()
265 uint64_t __attribute__((no_instrument_function)) os_get_nsec(void) in os_get_nsec() function