Symbol: restart_cpus
sys/kern/kern_shutdown.c
1011
restart_cpus(stopped_cpus);
sys/platform/pc64/include/smp.h
67
int restart_cpus (cpumask_t);
sys/platform/pc64/x86_64/db_interface.c
197
restart_cpus(stopped_cpus);
sys/platform/vkernel64/include/smp.h
29
int restart_cpus (cpumask_t);
sys/platform/vkernel64/x86_64/db_interface.c
192
restart_cpus(stopped_cpus);