pl310_read4
aux = pl310_read4(sc, PL310_AUX_CTRL);
prefetch = pl310_read4(sc, PL310_PREFETCH_CTRL);
v = pl310_read4(sc, which_reg);
intr = pl310_read4(sc, PL310_INTR_MASK);
while (pl310_read4(pl310_softc, off) & mask)
aux_value = pl310_read4(sc, PL310_AUX_CTRL);
cache_id = pl310_read4(sc, PL310_CACHE_ID);
if (pl310_read4(sc, PL310_CTRL) & CTRL_ENABLED) {
debug_ctrl = pl310_read4(sc, PL310_DEBUG_CTRL);
reg = pl310_read4(sc, PL310_POWER_CTRL);
reg = pl310_read4(sc, PL310_POWER_CTRL);