use cpu_do_idle for entering the wfi mode.
Signed-off-by: Sanjay Singh Rawat <sanjay.ra...@linaro.org>
---
arch/arm/mach-zynq/hotplug.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/arch/arm/mach-zynq/hotplug.c b/arch/arm/mach-zynq/hotplug.c
index c89672b..ef0d65d 100644
--- a/arch/arm/mach-zynq/hotplug.c
+++ b/arch/arm/mach-zynq/hotplug.c
@@ -64,8 +64,8 @@ static inline void zynq_platform_do_lowpower(unsigned int
cpu, int *spurious)
* code will have already disabled interrupts
*/
for (;;) {
- dsb();
- wfi();
+ /* enter WFI mode */
+ cpu_do_idle();
/*
* Getting here, means that we have come out of WFI without
--
1.7.9.5
_______________________________________________
linaro-dev mailing list
linaro-dev@lists.linaro.org
http://lists.linaro.org/mailman/listinfo/linaro-dev
