static void ps3_kexec_cpu_down(int crash_shutdown, int secondary) { DBG(" -> %s:%d\n", __func__, __LINE__); if (secondary) { int cpu; for_each_online_cpu(cpu) if (cpu) ps3_smp_cleanup_cpu(cpu); } else
static void ps3_kexec_cpu_down(int crash_shutdown, int secondary) { int cpu = smp_processor_id(); DBG(" -> %s:%d: (%d)\n", __func__, __LINE__, cpu); ps3_smp_cleanup_cpu(cpu); ps3_shutdown_IRQ(cpu); DBG(" <- %s:%d\n", __func__, __LINE__); }