gic_iterate_rdists  838 drivers/irqchip/irq-gic-v3.c 	if (gic_iterate_rdists(__gic_populate_rdist) == 0)
gic_iterate_rdists  862 drivers/irqchip/irq-gic-v3.c 	gic_iterate_rdists(__gic_update_rdist_properties);