gicr_read_4
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)
icfg = gicr_read_4(sc, n, GICR_ICFGRn(is->is_irq / 16));
ipriority = gicr_read_4(sc, n, GICR_IPRIORITYRn(is->is_irq / 4));
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)
gicr_waker = gicr_read_4(sc, ci->ci_gic_redist, GICR_WAKER);
while (gicr_read_4(sc, ci->ci_gic_redist, GICR_WAKER) & GICR_WAKER_ChildrenAsleep)
ctlr = gicr_read_4(sc, ci->ci_gic_redist, GICR_CTLR);
ctlr = gicr_read_4(sc, ci->ci_gic_redist, GICR_CTLR);