Searched refs:vtimer_user_save (Results 1 – 3 of 3) sorted by relevance
676 uint64_t vtimer_user_save; /* saved values for vtimers */ member
1018 dst_thread->vtimer_user_save = src_thread->vtimer_user_save; in thread_copy_resource_info()
6823 thread->vtimer_user_save = times.rtm_user; in task_vtimer_set()6892 tdelt = (uint32_t)(tsum - thread->vtimer_user_save); in task_vtimer_update()6893 thread->vtimer_user_save = tsum; in task_vtimer_update()