Symbol: gic_teardown
drivers/irqchip/irq-gic.c
1410
gic_teardown(gic);
drivers/irqchip/irq-gic.c
1432
gic_teardown(*gic);
drivers/irqchip/irq-gic.c
1495
gic_teardown(gic);
drivers/irqchip/irq-gic.c
1663
gic_teardown(gic);
drivers/irqchip/irq-gic.c
1681
gic_teardown(gic);
drivers/irqchip/irq-gic.c
1689
gic_teardown(gic);