Searched refs:CLINT_MTIME (Results 1 – 1 of 1) sorted by relevance
21 #define CLINT_MTIME (CLINT_BASE + 0xbff8) macro48 return io_read64(CLINT_MTIME); in clint_get_mtime()53 io_write64(CLINT_MTIME, mtime); in clint_set_mtime()
Completed in 2 milliseconds