void mpc85xx_smp_kexec_cpu_down(int crash_shutdown, int secondary) { mpic_teardown_this_cpu(1); /* When crashing, this gets called on all CPU's we only * take down the non-boot cpus */ if (smp_processor_id() != boot_cpuid) { local_irq_disable(); kexec_down_cpus++; while (1); } }
static void pseries_kexec_cpu_down_mpic(int crash_shutdown, int secondary) { pseries_kexec_cpu_down(crash_shutdown, secondary); mpic_teardown_this_cpu(secondary); }