prepare_arch_switch 3126 kernel/sched/core.c #ifndef prepare_arch_switch
prepare_arch_switch 3157 kernel/sched/core.c 	prepare_arch_switch(next);