INTC_IRQPIN_REG_NR
struct resource *io[INTC_IRQPIN_REG_NR];
for (k = 0; k < INTC_IRQPIN_REG_NR; k++) {
for (k = 0; k < INTC_IRQPIN_REG_NR; k++) {
struct intc_irqpin_iomem iomem[INTC_IRQPIN_REG_NR];