GIC_CONFIG_NUMINTERRUPTS  722 drivers/irqchip/irq-mips-gic.c 	gic_shared_intrs = gicconfig & GIC_CONFIG_NUMINTERRUPTS;
GIC_CONFIG_NUMINTERRUPTS  723 drivers/irqchip/irq-mips-gic.c 	gic_shared_intrs >>= __ffs(GIC_CONFIG_NUMINTERRUPTS);