DART_TCR
DART_WRITE(sc, DART_TCR(sid),
DART_WRITE(sc, DART_TCR(sid), 0);
DART_WRITE(sc, DART_TCR(sid), DART_TCR_TRANSLATE_ENABLE);