Symbol: restart_cpus
sys/kern/subr_kdb.c
807
restart_cpus(other_cpus);
sys/sys/smp.h
261
int restart_cpus(cpuset_t);