gic_dist_config    23 drivers/irqchip/irq-gic-common.h void gic_dist_config(void __iomem *base, int gic_irqs,
gic_dist_config   747 drivers/irqchip/irq-gic-v3.c 	gic_dist_config(base, GIC_LINE_NR, gic_dist_wait_for_rwp);
gic_dist_config   509 drivers/irqchip/irq-gic.c 	gic_dist_config(base, gic_irqs, NULL);
gic_dist_config   249 drivers/irqchip/irq-hip04.c 	gic_dist_config(base, nr_irqs, NULL);