tag	line	file	source code
move_last_runqueue	320	kernel/sched.c	move_last_runqueue(prev);
move_last_runqueue	1180	kernel/sched.c	move_last_runqueue(p);
move_last_runqueue	1236	kernel/sched.c	move_last_runqueue(current);