Searched refs:user_timer_save (Results 1 – 3 of 3) sorted by relevance
450 &(thread)->user_timer_save); \
541 uint64_t user_timer_save; /* saved user timer value */ member
901 dst_thread->user_timer_save = src_thread->user_timer_save; in thread_copy_resource_info()