Symbol: cpu_smp_stopped
sys/platform/pc64/x86_64/machdep.c
1436
cpu_smp_stopped(void)
sys/platform/vkernel64/platform/init.c
1469
cpu_smp_stopped(void)