DART_WRITE
DART_WRITE(sc, DART_TLB_OP_SIDMASK, sc->sc_sid_mask);
DART_WRITE(sc, DART_TLB_OP, DART_TLB_OP_FLUSH);
DART_WRITE(sc, DART_ERR_STATUS, status);
DART_WRITE(sc, DART_TCR(sid),
DART_WRITE(sc, DART_TCR(sid), 0);
DART_WRITE(sc, DART_TTBR(sid, idx), 0);
DART_WRITE(sc, DART_TTBR(sid, idx),
DART_WRITE(sc, DART_TCR(sid), DART_TCR_TRANSLATE_ENABLE);