GICD_IPRIORITYR
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_IPRIORITYR,
case GICD_IPRIORITYR:
offset = convert_offset_index(d, GICD_IPRIORITYR, &index);
#define GICR_IPRIORITYR0 GICD_IPRIORITYR
#define GICR_IPRIORITYR0 GICD_IPRIORITYR
gicv3_write_reg(intid, GICD_IPRIORITYR, 32, 8, prio);
GICD_BASE_GVA + GICD_IPRIORITYR + i);