Messages in this thread | | | From | Valentin Schneider <> | Subject | Re: [PATCH v2 6/6] genirq: Rename IRQ_HIDDEN to IRQ_IPI | Date | Thu, 26 Nov 2020 18:18:44 +0000 |
| |
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...
| |