Symbol: gic_iterate_rdists
drivers/irqchip/irq-gic-v3.c
1060
if (gic_iterate_rdists(__gic_populate_rdist) == 0)
drivers/irqchip/irq-gic-v3.c
1124
gic_iterate_rdists(__gic_update_rdist_properties);