Symbol: stop_cpus
sys/sys/smp.h
261
int stop_cpus(cpuset_t);
sys/x86/x86/cpu_machdep.c
602
stop_cpus(map);