GICD_I_MASK
!!(gic_d_read_4(sc, GICD_IGROUPR(i)) & GICD_I_MASK(i)));
!!(gic_d_read_4(sc, GICD_ISENABLER(i)) & GICD_I_MASK(i)),
!!(gic_d_read_4(sc, GICD_ISPENDR(i)) & GICD_I_MASK(i)),
!!(gic_d_read_4(sc, GICD_ISACTIVER(i)) & GICD_I_MASK(i)));
gic_d_write_4(sc, GICD_ISENABLER(irq), GICD_I_MASK(irq));
gic_d_write_4(sc, GICD_ICENABLER(irq), GICD_I_MASK(irq));
GICD_I_MASK(irq));
gic_d_write(sc, 4, GICD_ISENABLER(irq), GICD_I_MASK(irq));
GICD_I_MASK(irq));
gic_d_write(sc, 4, GICD_ICENABLER(irq), GICD_I_MASK(irq));