Hi Marc, Geert, On Wed, Dec 21, 2022 at 10:31 AM Marc Zyngier <maz@xxxxxxxxxx> wrote: > > On Wed, 21 Dec 2022 00:02:36 +0000, > Prabhakar <prabhakar.csengg@xxxxxxxxx> wrote: > > > > From: Lad Prabhakar <prabhakar.mahadev-lad.rj@xxxxxxxxxxxxxx> > > > > NMI interrupt is not an external interrupt as compared to the IRQ0-7 and > > TINT0-31, this means we need to install the irq handler for NMI in the > > IRQC driver and not include it as part of IRQ domain. > > > > This patch skips mapping NMI interrupt as part of the IRQ domain > > hierarchy. > > Does it mean nobody can connect anything to it? Where is the handler > you're mentioning for this NMI? > I got this clarified internally the NMI interrupt is an external interrupt just like the other IRQ0-7/TINT interrupts. I'll drop this patch in the next version. Cheers, Prabhakar