CLINT_READ
hi = CLINT_READ(sc, CLINT_MTIME_HI);
lo = CLINT_READ(sc, CLINT_MTIME_LO);
} while (hi != CLINT_READ(sc, CLINT_MTIME_HI));