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);