On Mon, 21 Jan 2019 15:33:28 +0000, Julien Thierry <[email protected]> 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 <[email protected]> > Suggested-by: Daniel Thompson <[email protected]> > Cc: Catalin Marinas <[email protected]> > Cc: Will Deacon <[email protected]>
Reviewed-by: Marc Zyngier <[email protected]> M. -- Jazz is not dead, it just smell funny.
