Symbol: finish_task_switch
kernel/sched/core.c
5432
finish_task_switch(prev);
kernel/sched/core.c
5513
return finish_task_switch(prev);