gicr_write_4
gicr_write_4(sc, ci->ci_gic_redist, GICR_ISENABLER0, mask);
gicr_write_4(sc, ci->ci_gic_redist, GICR_ICENABLER0, mask);
gicr_write_4(sc, n, GICR_ICFGRn(is->is_irq / 16), icfg);
gicr_write_4(sc, n, GICR_IPRIORITYRn(is->is_irq / 4), ipriority);
gicr_write_4(sc, ci->ci_gic_redist, GICR_ICENABLER0, ~0);
gicr_write_4(sc, ci->ci_gic_redist, GICR_IPRIORITYRn(n / 4), priority);
gicr_write_4(sc, ci->ci_gic_redist, GICR_IGROUPR0, ~0);
gicr_write_4(sc, ci->ci_gic_redist, GICR_IGRPMODR0, 0);
gicr_write_4(sc, ci->ci_gic_redist, GICR_ICFGRn(1), icfg);
gicr_write_4(sc, ci->ci_gic_redist, GICR_ISENABLER0, sc->sc_enabled_sgippi);
gicr_write_4(sc, ci->ci_gic_redist, GICR_WAKER, gicr_waker);
gicr_write_4(sc, ci->ci_gic_redist, GICR_CTLR, ctlr);
gicr_write_4(sc, ci->ci_gic_redist, GICR_CTLR, ctlr);