gicconfig         674 drivers/irqchip/irq-mips-gic.c 	unsigned int cpu_vec, i, gicconfig, v[2], num_ipis;
gicconfig         721 drivers/irqchip/irq-mips-gic.c 	gicconfig = read_gic_config();
gicconfig         722 drivers/irqchip/irq-mips-gic.c 	gic_shared_intrs = gicconfig & GIC_CONFIG_NUMINTERRUPTS;