use cpu_do_idle for entering the wfi mode.
Signed-off-by: Sanjay Singh Rawat sanjay.rawat@linaro.org --- arch/arm/mach-prima2/hotplug.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/arch/arm/mach-prima2/hotplug.c b/arch/arm/mach-prima2/hotplug.c index 0ab2f8b..68d2903 100644 --- a/arch/arm/mach-prima2/hotplug.c +++ b/arch/arm/mach-prima2/hotplug.c @@ -16,8 +16,8 @@ static inline void platform_do_lowpower(unsigned int cpu) { /* we put the platform to just WFI */ for (;;) { - __asm__ __volatile__("dsb\n\t" "wfi\n\t" - : : : "memory"); + cpu_do_idle(); + if (pen_release == cpu_logical_map(cpu)) { /* * OK, proper wakeup, we're done