GICR_CTLR
while (gicr_read_4(sc, ci->ci_gic_redist, GICR_CTLR) & GICR_CTLR_RWP)
while (gicr_read_4(sc, ci->ci_gic_redist, GICR_CTLR) & GICR_CTLR_RWP)
while (gicr_read_4(sc, ci->ci_gic_redist, GICR_CTLR) & GICR_CTLR_RWP)
while (gicr_read_4(sc, ci->ci_gic_redist, GICR_CTLR) & GICR_CTLR_RWP)
ctlr = gicr_read_4(sc, ci->ci_gic_redist, GICR_CTLR);
gicr_write_4(sc, ci->ci_gic_redist, GICR_CTLR, ctlr);
ctlr = gicr_read_4(sc, ci->ci_gic_redist, GICR_CTLR);
gicr_write_4(sc, ci->ci_gic_redist, GICR_CTLR, ctlr);