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,