gic_irq_nmi_setup 1214 drivers/irqchip/irq-gic-v3.c 	.irq_nmi_setup		= gic_irq_nmi_setup,
gic_irq_nmi_setup 1231 drivers/irqchip/irq-gic-v3.c 	.irq_nmi_setup		= gic_irq_nmi_setup,