INTC_IRQS
if (nr_irq == INTC_IRQS)
nr_irq = INTC_IRQS * 2;
static int nr_irq = INTC_IRQS;
for (i = 0; i < INTC_IRQS; i += 4)
nr_irq = INTC_IRQS;