Symbol: cpu_mp_stop
sys/kern/kern_kexec.c
109
cpu_mp_stop();
sys/sys/smp.h
258
void cpu_mp_stop(void); /* Go back to single-CPU */