cpu_switch        434 kern/sched_bsd.c 	cpu_switch(p);
cpu_switch        448 sys/proc.h     #if !defined(cpu_switch)
cpu_switch        449 sys/proc.h     void	cpu_switch(struct proc *);