Symbol: cpu_smp_stopped
sys/kern/lwkt_thread.c
1804
cpu_smp_stopped();
sys/sys/systm.h
385
void cpu_smp_stopped(void);