Searched refs:l4_thread_stats_time_u (Results 1 – 2 of 2) sorted by relevance
378 l4_thread_stats_time_u(l4_cap_idx_t thread, l4_kernel_clock_t *us,805 l4_thread_stats_time_u(l4_cap_idx_t thread, l4_kernel_clock_t *us, in l4_thread_stats_time_u() function910 return l4_thread_stats_time_u(thread, us, l4_utcb()); in l4_thread_stats_time()
250 { return l4_thread_stats_time_u(cap(), us, utcb); }
Completed in 4 milliseconds