GICD_ISENABLER
REGISTER_DESC_WITH_BITS_PER_IRQ_SHARED(GICD_ISENABLER,
enabled = gic_peek_irq(d, GICD_ISENABLER);
case GICD_ISENABLER:
gic_poke_irq(d, GICD_ISENABLER);
reg = GICD_ISENABLER;
*val = !gic_peek_irq(d, GICD_ISENABLER);
if (gic_peek_irq(d, GICD_ISENABLER)) {
if (gic_peek_irq(d, GICD_ISENABLER)) {
#define GICR_ISENABLER0 GICD_ISENABLER
#define GICR_ISENABLER0 GICD_ISENABLER
gicv3_write_reg(intid, GICD_ISENABLER, 32, 1, 1);