tsk_vtime          94 arch/s390/kernel/vtime.c static inline u64 update_tsk_timer(unsigned long *tsk_vtime, u64 new)
tsk_vtime          98 arch/s390/kernel/vtime.c 	delta = new - *tsk_vtime;
tsk_vtime          99 arch/s390/kernel/vtime.c 	*tsk_vtime = new;