Searched refs:vtimer_user_save (Results 1 – 3 of 3) sorted by relevance
592 uint64_t vtimer_user_save; /* saved values for vtimers */ member
1015 dst_thread->vtimer_user_save = src_thread->vtimer_user_save; in thread_copy_resource_info()
6354 thread->vtimer_user_save = times.rtm_user; in task_vtimer_set()6423 tdelt = (uint32_t)(tsum - thread->vtimer_user_save); in task_vtimer_update()6424 thread->vtimer_user_save = tsum; in task_vtimer_update()