stop_other_cpus
void (*stop_other_cpus)(int wait);
smp_ops.stop_other_cpus(0);
smp_ops.stop_other_cpus(1);
stop_other_cpus();
.stop_other_cpus = native_stop_other_cpus,
.stop_other_cpus = xen_pv_stop_other_cpus,