DART_TTBR
ttbr = HREAD4(sc, DART_TTBR(sc, sid, idx));
HWRITE4(sc, DART_TTBR(sc, sid, idx), 0);
HWRITE4(sc, DART_TTBR(sc, sid, idx),
ttbr = HREAD4(sc, DART_TTBR(sc, as->as_sid, idx));
ttbr = HREAD4(sc, DART_TTBR(sc, as->as_sid, idx));
HWRITE4(sc, DART_TTBR(sc, sid, idx),