prepare_arch_switch  847 kernel/sched.c #ifndef prepare_arch_switch
prepare_arch_switch 2523 kernel/sched.c 	prepare_arch_switch(next);