clock_t_to_cputime 4227 kernel/sched.c 	p->prev_utime = max(p->prev_utime, clock_t_to_cputime(utime));
clock_t_to_cputime 4244 kernel/sched.c 		p->prev_stime = max(p->prev_stime, clock_t_to_cputime(stime));