mi_switch        1193 kern/kern_sig.c 		mi_switch();
mi_switch         179 kern/kern_synch.c 		mi_switch();
mi_switch         331 kern/sched_bsd.c 	mi_switch();
mi_switch         358 kern/sched_bsd.c 	mi_switch();
mi_switch         426 sys/proc.h     void	mi_switch(void);