taglinefilesource code
switch_to22include/asm-ppc/system.hextern void switch_to(struct task_struct *);
switch_to394kernel/sched.cswitch_to(prev,next);