Re: [PATCH v2 6/6] genirq: Rename IRQ_HIDDEN to IRQ_IPI
From: Valentin Schneider
Date: Thu Nov 26 2020 - 13:18:49 EST
Hi Marc,
On 24/11/20 14:14, Marc Zyngier wrote:
> IRQ_HIDDEN was probably the wrong name, so let's rename it to IRQ_IPI,
> which more accurately describe an IPI with special arch code handling.
>
>From the (new) name I would expect this to be set for IRQs requested via
irq_reserve_ipi(), but that wouldn't be correct: MIPs uses that interface,
but doesn't have our arch_show_interrupts() IPI faffery.
With that in mind, perhaps the current name isn't so bad...