Searched refs:vtimer_user_save (Results 1 – 3 of 3) sorted by relevance
543 uint64_t vtimer_user_save; /* saved values for vtimers */ member
905 dst_thread->vtimer_user_save = src_thread->vtimer_user_save; in thread_copy_resource_info()
6375 thread->vtimer_user_save = timer_grab(&thread->user_timer); in task_vtimer_set()6377 thread->vtimer_user_save = timer_grab(&thread->system_timer); in task_vtimer_set()6451 &thread->vtimer_user_save); in task_vtimer_update()6454 &thread->vtimer_user_save); in task_vtimer_update()