gic_teardown     1372 drivers/irqchip/irq-gic.c 	gic_teardown(gic);
gic_teardown     1396 drivers/irqchip/irq-gic.c 		gic_teardown(*gic);
gic_teardown     1456 drivers/irqchip/irq-gic.c 		gic_teardown(gic);
gic_teardown     1623 drivers/irqchip/irq-gic.c 		gic_teardown(gic);
gic_teardown     1641 drivers/irqchip/irq-gic.c 		gic_teardown(gic);
gic_teardown     1649 drivers/irqchip/irq-gic.c 		gic_teardown(gic);