gicv2m_teardown   453 drivers/irqchip/irq-gic-v2m.c 		gicv2m_teardown();
gicv2m_teardown   563 drivers/irqchip/irq-gic-v2m.c 	gicv2m_teardown();