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