finish_task_switch 3315 kernel/sched/core.c 	rq = finish_task_switch(prev);
finish_task_switch 3383 kernel/sched/core.c 	return finish_task_switch(prev);