do_sched_yield   5603 kernel/sched/core.c 	do_sched_yield();
do_sched_yield   5673 kernel/sched/core.c 	do_sched_yield();