GICD_ISACTIVER
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ISACTIVER,
case GICD_ISACTIVER:
reg = val ? GICD_ISACTIVER : GICD_ICACTIVER;
if (reg == GICD_ISACTIVER)
*val = gic_peek_irq(d, GICD_ISACTIVER);
#define GICR_ISACTIVER0 GICD_ISACTIVER
#define GICR_ISACTIVER0 GICD_ISACTIVER
gicv3_write_reg(intid, GICD_ISACTIVER, 32, 1, 1);
return gicv3_read_reg(intid, GICD_ISACTIVER, 32, 1);
vgic_poke_irq(gic_fd, intid, vcpu, GICD_ISACTIVER);