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));