update_tsk_timer  154 arch/s390/kernel/vtime.c 	user = update_tsk_timer(&tsk->thread.user_timer,
update_tsk_timer  156 arch/s390/kernel/vtime.c 	guest = update_tsk_timer(&tsk->thread.guest_timer,
update_tsk_timer  158 arch/s390/kernel/vtime.c 	system = update_tsk_timer(&tsk->thread.system_timer,
update_tsk_timer  160 arch/s390/kernel/vtime.c 	hardirq = update_tsk_timer(&tsk->thread.hardirq_timer,
update_tsk_timer  162 arch/s390/kernel/vtime.c 	softirq = update_tsk_timer(&tsk->thread.softirq_timer,