GICD_ICFGR
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ICFGR,
case GICD_ICFGR:
offset = convert_offset_index(d, GICD_ICFGR, &index);
#define GICR_ICFGR0 GICD_ICFGR
#define GICR_ICFGR0 GICD_ICFGR
gicv3_write_reg(intid, GICD_ICFGR, 32, 2, val);