GICD_ISENABLER
!!(gic_d_read_4(sc, GICD_ISENABLER(i)) & GICD_I_MASK(i)),
gic_d_write_4(sc, GICD_ISENABLER(irq), GICD_I_MASK(irq));
gic_d_write(sc, 4, GICD_ISENABLER(irq), GICD_I_MASK(irq));
gic_r_write(sc, 4, GICR_SGI_BASE_SIZE + GICD_ISENABLER(irq),
n = (reg - GICD_ISENABLER(0)) / 4;
n = (reg - GICD_ISENABLER(0)) / 4;
n = (reg - GICD_ISENABLER(0)) / 4;
VGIC_REGISTER_RAZ_WI(GICD_ISENABLER(0), 4, VGIC_32_BIT),
VGIC_REGISTER_RANGE(GICD_ISENABLER(32), GICD_ISENABLER(1024), 4,