Re: [PATCH v9 09/26] arm64: Unmask PMR before going idle

2019-01-28 Thread Marc Zyngier
On Mon, 21 Jan 2019 15:33:28 +, 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

Re: [PATCH v9 09/26] arm64: Unmask PMR before going idle

2019-01-23 Thread Ard Biesheuvel
On Wed, 23 Jan 2019 at 09:56, Julien Thierry wrote: > > > > On 22/01/2019 20:18, Ard Biesheuvel wrote: > > On Mon, 21 Jan 2019 at 16:36, 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

Re: [PATCH v9 09/26] arm64: Unmask PMR before going idle

2019-01-23 Thread Julien Thierry
On 22/01/2019 20:18, Ard Biesheuvel wrote: > On Mon, 21 Jan 2019 at 16:36, 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

Re: [PATCH v9 09/26] arm64: Unmask PMR before going idle

2019-01-22 Thread Ard Biesheuvel
On Mon, 21 Jan 2019 at 16:36, 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

Re: [PATCH v9 09/26] arm64: Unmask PMR before going idle

2019-01-22 Thread Catalin Marinas
On Mon, Jan 21, 2019 at 03:33:28PM +, 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

[PATCH v9 09/26] arm64: Unmask PMR before going idle

2019-01-21 Thread Julien Thierry
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