GICD_ICPENDR
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ICPENDR,
case GICD_ICPENDR:
reg = val ? GICD_ISPENDR : GICD_ICPENDR;
#define GICR_ICPENDR0 GICD_ICPENDR
#define GICR_ICPENDR0 GICD_ICPENDR
gicv3_write_reg(intid, GICD_ICPENDR, 32, 1, 1);