Re: [PATCH 0/2] ARM: dts: stm32: Correct masks for GIC PPI interrupts on stm32mp

[Marc Zyngier]

On Mon, 21 Feb 2022 13:37:48 +0000,
Alexandre Torgue <alexandre.torgue@xxxxxxxxxxx> wrote:
> 
> Using GIC_CPU_MASK_SIMPLE(x), x should reflect the number of CPUs.
> 
> regards
> alex
> 
> Alexandre Torgue (2):
>   ARM: dts: stm32: Correct masks for GIC PPI interrupts on stm32mp13
>   ARM: dts: stm32: Correct masks for GIC PPI interrupts on stm32mp15
> 
>  arch/arm/boot/dts/stm32mp131.dtsi | 8 ++++----
>  arch/arm/boot/dts/stm32mp151.dtsi | 8 ++++----
>  arch/arm/boot/dts/stm32mp153.dtsi | 7 +++++++
>  3 files changed, 15 insertions(+), 8 deletions(-)

FWIW:

Acked-by: Marc Zyngier <maz@xxxxxxxxxx>

	M.

-- 
Without deviation from the norm, progress is not possible.