Lines Matching refs:system_timer
1770 tval = timer_grab(&thread->system_timer);
1775 /* system_timer may represent either sys or user */
2100 tval = timer_grab(&thread->system_timer);
2104 /* system_timer may represent either sys or user */
2145 thread->vtimer_user_save = timer_grab(&thread->system_timer);
2156 thread->vtimer_prof_save += timer_grab(&thread->system_timer);
2167 thread->vtimer_rlim_save += timer_grab(&thread->system_timer);
2216 tdelt = (uint32_t)timer_delta(&thread->system_timer,
2224 tsum += timer_grab(&thread->system_timer);
2234 tsum += timer_grab(&thread->system_timer);