GIC_DIST_CONFIG
REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_CONFIG,
base + GIC_DIST_CONFIG + i / 4);
ret = gic_configure_irq(gicirq, type, base + GIC_DIST_CONFIG);
readl_relaxed(dist_base + GIC_DIST_CONFIG + i * 4);
dist_base + GIC_DIST_CONFIG + i * 4);
ptr[i] = readl_relaxed(dist_base + GIC_DIST_CONFIG + i * 4);
writel_relaxed(ptr[i], dist_base + GIC_DIST_CONFIG + i * 4);
ret = gic_configure_irq(irq, type, base + GIC_DIST_CONFIG);