Symbol: stop_cpus
sys/platform/pc64/x86_64/mp_machdep.c
1363
stop_cpus(cpumask_t map)
sys/platform/vkernel64/x86_64/mp.c
230
stop_cpus(cpumask_t map)