use cpu_do_idle for entering the WFI mode.

Signed-off-by: Sanjay Singh Rawat <sanjay.ra...@linaro.org>
---
 arch/arm/mach-exynos/hotplug.c |    9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/arch/arm/mach-exynos/hotplug.c b/arch/arm/mach-exynos/hotplug.c
index af90cfa..7fcedd8 100644
--- a/arch/arm/mach-exynos/hotplug.c
+++ b/arch/arm/mach-exynos/hotplug.c
@@ -98,13 +98,8 @@ static inline void platform_do_lowpower(unsigned int cpu, 
int *spurious)
                if (cpu == 1)
                        __raw_writel(0, S5P_ARM_CORE1_CONFIGURATION);
 
-               /*
-                * here's the WFI
-                */
-               asm(".word      0xe320f003\n"
-                   :
-                   :
-                   : "memory", "cc");
+               /* enter WFI mode */
+               cpu_do_idle();
 
                if (pen_release == cpu_logical_map(cpu)) {
                        /*
-- 
1.7.9.5


_______________________________________________
linaro-dev mailing list
linaro-dev@lists.linaro.org
http://lists.linaro.org/mailman/listinfo/linaro-dev

Reply via email to