Symbol: restart_cpus
sys/platform/pc64/x86_64/mp_machdep.c
1396
restart_cpus(cpumask_t map)
sys/platform/vkernel64/x86_64/mp.c
251
restart_cpus(cpumask_t map)