gic_irq_nmi_teardown 1215 drivers/irqchip/irq-gic-v3.c 	.irq_nmi_teardown	= gic_irq_nmi_teardown,
gic_irq_nmi_teardown 1232 drivers/irqchip/irq-gic-v3.c 	.irq_nmi_teardown	= gic_irq_nmi_teardown,