Symbol: cpu_switchto
sys/kern/kern_sched.c
264
cpu_switchto(NULL, idle);
sys/kern/sched_bsd.c
396
cpu_switchto(p, nextproc);
sys/sys/sched.h
168
void cpu_switchto(struct proc *, struct proc *);