GICD_IGROUPR
!!(gic_d_read_4(sc, GICD_IGROUPR(i)) & GICD_I_MASK(i)));
gic_d_write_4(sc, GICD_IGROUPR(irq), 0);
gic_d_write_4(sc, GICD_IGROUPR(i), 0);
gic_d_write(sc, 4, GICD_IGROUPR(i), 0xFFFFFFFF);
VGIC_REGISTER_RANGE_RAZ_WI(GICD_IGROUPR(0), GICD_IGROUPR(1024), 4,