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