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