DART_READ
while ((DART_READ(sc, DART_TLB_OP) & DART_TLB_OP_BUSY) != 0) {
status = DART_READ(sc, DART_ERR_STATUS);
addr = __SHIFTIN(DART_READ(sc, DART_ERR_ADDRL), __BITS(31, 0));
addr |= __SHIFTIN(DART_READ(sc, DART_ERR_ADDRH), __BITS(63, 32));
printf("%s: addrl %#"PRIx32"\n", __func__, DART_READ(sc, DART_ERR_ADDRL));
printf("%s: addrh %#"PRIx32"\n", __func__, DART_READ(sc, DART_ERR_ADDRH));
uint32_t config = DART_READ(sc, DART_CONFIG);
uint32_t params2 = DART_READ(sc, DART_PARAMS2);