CLINT_MTIME
#define CLINT_MTIME_LO CLINT_MTIME + 0x0
#define CLINT_MTIME_HI CLINT_MTIME + 0x4
return bus_space_read_8(sc->sc_bst, sc->sc_bsh, CLINT_MTIME);