finish_task_switch 2590 kernel/sched.c 	finish_task_switch(rq, prev);
finish_task_switch 2654 kernel/sched.c 	finish_task_switch(this_rq(), prev);