gic_cpu_config     25 drivers/irqchip/irq-gic-common.h void gic_cpu_config(void __iomem *base, int nr, void (*sync_access)(void));
gic_cpu_config   1028 drivers/irqchip/irq-gic-v3.c 	gic_cpu_config(rbase, gic_data.ppi_nr + 16, gic_redist_wait_for_rwp);
gic_cpu_config    546 drivers/irqchip/irq-gic.c 	gic_cpu_config(dist_base, 32, NULL);
gic_cpu_config    276 drivers/irqchip/irq-hip04.c 	gic_cpu_config(dist_base, 32, NULL);