Searched refs:vtimer_user_save (Results 1 – 3 of 3) sorted by relevance
645 uint64_t vtimer_user_save; /* saved values for vtimers */ member
1011 dst_thread->vtimer_user_save = src_thread->vtimer_user_save; in thread_copy_resource_info()
6764 thread->vtimer_user_save = times.rtm_user; in task_vtimer_set()6833 tdelt = (uint32_t)(tsum - thread->vtimer_user_save); in task_vtimer_update()6834 thread->vtimer_user_save = tsum; in task_vtimer_update()