On Mon, Jan 21, 2019 at 03:33:28PM +0000, Julien Thierry wrote: > CPU does not received signals for interrupts with a priority masked by > ICC_PMR_EL1. This means the CPU might not come back from a WFI > instruction. > > Make sure ICC_PMR_EL1 does not mask interrupts when doing a WFI. > > Since the logic of cpu_do_idle is becoming a bit more complex than just > two instructions, lets turn it from ASM to C. > > Signed-off-by: Julien Thierry <julien.thie...@arm.com> > Suggested-by: Daniel Thompson <daniel.thomp...@linaro.org> > Cc: Catalin Marinas <catalin.mari...@arm.com> > Cc: Will Deacon <will.dea...@arm.com>
Reviewed-by: Catalin Marinas <catalin.mari...@arm.com>
