Symbol: gicv2m_teardown
drivers/irqchip/irq-gic-v2m.c
422
gicv2m_teardown();
drivers/irqchip/irq-gic-v2m.c
532
gicv2m_teardown();