[PATCH v2 6/6] genirq: Rename IRQ_HIDDEN to IRQ_IPI

[Valentin Schneider]

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...