Symbol: cpu_throw
sys/kern/sched_4bsd.c
1673
cpu_throw(td, newtd); /* doesn't return */
sys/kern/sched_ule.c
3229
cpu_throw(NULL, newtd);