update_tsk_timer

151

user = update_tsk_timer(&tsk->thread.user_timer, lc->user_timer);

152

guest = update_tsk_timer(&tsk->thread.guest_timer, lc->guest_timer);

153

system = update_tsk_timer(&tsk->thread.system_timer, lc->system_timer);

154

hardirq = update_tsk_timer(&tsk->thread.hardirq_timer, lc->hardirq_timer);

155

softirq = update_tsk_timer(&tsk->thread.softirq_timer, lc->softirq_timer);