GICD_IPRIORITYR
(gic_d_read_4(sc, GICD_IPRIORITYR(i)) >> 8 * (i & 0x3)) &
gic_d_write_4(sc, GICD_IPRIORITYR(irq), 0);
gic_d_write_4(sc, GICD_IPRIORITYR(i), 0);
gic_d_write(sc, 4, GICD_IPRIORITYR(i), GIC_PRIORITY_MAX);
gic_r_write(sc, 4, GICR_SGI_BASE_SIZE + GICD_IPRIORITYR(i),
n = (reg - GICD_IPRIORITYR(0)) / 4;
irq_base = (reg - GICD_IPRIORITYR(0)) + offset;
VGIC_REGISTER_RANGE_RAZ_WI(GICD_IPRIORITYR(0), GICD_IPRIORITYR(32), 4,
VGIC_REGISTER_RANGE(GICD_IPRIORITYR(32), GICD_IPRIORITYR(1024), 4,