GIC_DIST_PRI
REGISTER_DESC_WITH_BITS_PER_IRQ(GIC_DIST_PRI,
base + GIC_DIST_PRI + i);
base + GIC_DIST_PRI + i * 4 / 4);
dist_base + GIC_DIST_PRI + i * 4);
dist_base + GIC_DIST_PRI + i * 4);