Symbol: gicv5_free_domains
drivers/irqchip/irq-gic-v5.c
1037
gicv5_free_domains();
drivers/irqchip/irq-gic-v5.c
1053
gicv5_free_domains();
drivers/irqchip/irq-gic-v5.c
1164
gicv5_free_domains();