Symbol: gic_irq_nmi_setup
drivers/irqchip/irq-gic-v3.c
1520
.irq_nmi_setup = gic_irq_nmi_setup,
drivers/irqchip/irq-gic-v3.c
1539
.irq_nmi_setup = gic_irq_nmi_setup,