GICR_ISENABLER0
gicr_write_4(sc, ci->ci_gic_redist, GICR_ISENABLER0, mask);
gicr_write_4(sc, ci->ci_gic_redist, GICR_ISENABLER0, sc->sc_enabled_sgippi);