Re: [PATCH v4 10/26] irqchip/gic-v3: Switch high priority PPIs over to handle_percpu_devid_irq()

[Jonathan Cameron]

On Mon, 20 Oct 2025 13:29:27 +0100
Marc Zyngier <maz@xxxxxxxxxx> wrote:

> It so appears that handle_percpu_devid_irq() is extremely similar to
> handle_percpu_devid_fasteoi_nmi(), and that the differences do no
> justify the horrid machinery we have in the GICv3 driver to handle
> the flow handler switch.
> 
> Let's stick with the standard flow handler, even for NMIs.
> 
> Suggested-by: Will Deacon <will@xxxxxxxxxx>
> Tested-by: Will Deacon <will@xxxxxxxxxx>
> Signed-off-by: Marc Zyngier <maz@xxxxxxxxxx>
LGTM and who doesn't like those diff stats ;)
Reviewed-by: Jonathan Cameron <jonathan.cameron@xxxxxxxxxx>
> ---
>  drivers/irqchip/irq-gic-v3.c | 54 ++----------------------------------
>  1 file changed, 2 insertions(+), 52 deletions(-)