ARM: zynq: use generic cpu idle function for wfi

use cpu_do_idle for entering the wfi mode.

Signed-off-by: Sanjay Singh Rawat <sanjay.rawat@linaro.org>
Signed-off-by: Michal Simek <michal.simek@xilinx.com>

diff --git a/arch/arm/mach-zynq/hotplug.c b/arch/arm/mach-zynq/hotplug.c
index c89672bd1de266eefc52fd42a48d082cc7d17e70..ef0d65df0e3cda6a1a35dcef71f043fd4f3ebe4c 100644 (file)
--- 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