diff options
| author | Marc Zyngier <maz@kernel.org> | 2025-10-20 13:29:27 +0100 |
|---|---|---|
| committer | Thomas Gleixner <tglx@linutronix.de> | 2025-10-27 17:16:34 +0100 |
| commit | 21bbbc50f398f5d58a14669ee18b10a2bd30e916 (patch) | |
| tree | 874085d87a80d15261d499067f3fcd0551ad7f0e /kernel/irq/manage.c | |
| parent | f6c8aced7c24e0c765d4283144d280c3f36e3906 (diff) | |
irqchip/gic-v3: Switch high priority PPIs over to handle_percpu_devid_irq()
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 in the GICv3 driver to handle the flow handler switch.
Stick with the standard flow handler, even for NMIs.
Suggested-by: Will Deacon <will@kernel.org>
Signed-off-by: Marc Zyngier <maz@kernel.org>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Tested-by: Will Deacon <will@kernel.org>
Link: https://patch.msgid.link/20251020122944.3074811-11-maz@kernel.org
Diffstat (limited to 'kernel/irq/manage.c')
0 files changed, 0 insertions, 0 deletions