tag	line	file	source code
update_one_process	915	kernel/sched.c	update_one_process(p, ticks, user, system);
update_one_process	943	kernel/sched.c	update_one_process(p, ticks, utime, stime);