DART_TLB_OP
DART_WRITE(sc, DART_TLB_OP, DART_TLB_OP_FLUSH);
while ((DART_READ(sc, DART_TLB_OP) & DART_TLB_OP_BUSY) != 0) {