]> git.openfabrics.org - ~shefty/rdma-dev.git/blobdiff - arch/arm/kernel/smp.c
ARM: stop: execute platform callback from cpu_stop code
[~shefty/rdma-dev.git] / arch / arm / kernel / smp.c
index 76ff28d87bf3f229b5cb9028bba1ad311abcd655..57db122a4f629bb53247fde4f2b15076838661c0 100644 (file)
@@ -522,6 +522,10 @@ static void ipi_cpu_stop(unsigned int cpu)
        local_fiq_disable();
        local_irq_disable();
 
+#ifdef CONFIG_HOTPLUG_CPU
+       platform_cpu_kill(cpu);
+#endif
+
        while (1)
                cpu_relax();
 }