rk30: cpu hotplug: better cpu die

diff --git a/arch/arm/mach-rk30/hotplug.c b/arch/arm/mach-rk30/hotplug.c
index 5ea1ae3d48fe351bba6b033fa466eae33674fc0d..159269149cb4bed7c8107a204ce3f232b9d01d74 100644 (file)
--- a/arch/arm/mach-rk30/hotplug.c
+++ b/arch/arm/mach-rk30/hotplug.c
@@ -60,8 +60,10 @@ void platform_cpu_die(unsigned int cpu)
        /* wait for SoC code in platform_cpu_kill() to shut off CPU core
         * power. CPU bring up starts from the reset vector.
         */
-       while (1)
-               cpu_do_idle();
+       while (1) {
+               dsb();
+               wfi();
+       }
 }
 
 int platform_cpu_disable(unsigned int cpu)