generic_restart_cpus
return (generic_restart_cpus(map, IPI_STOP));
return (generic_restart_cpus(map, IPI_SUSPEND));