use cpu_do_idle for entering the wfi mode.
Signed-off-by: Sanjay Singh Rawat <sanjay.ra...@linaro.org>
---
arch/arm/mach-vexpress/hotplug.c | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/arch/arm/mach-vexpress/hotplug.c b/arch/arm/mach-vexpress/hotplug.c
index f0ce6b8..b3dffc2 100644
--- a/arch/arm/mach-vexpress/hotplug.c
+++ b/arch/arm/mach-vexpress/hotplug.c
@@ -60,7 +60,8 @@ static inline void platform_do_lowpower(unsigned int cpu, int
*spurious)
* code will have already disabled interrupts
*/
for (;;) {
- wfi();
+ /* 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
