Searched refs:clint_get_mtime (Results 1 – 2 of 2) sorted by relevance
| /optee_os-3.20.0/core/arch/riscv/include/kernel/ | ||
| A D | time.h | 19 time = clint_get_mtime(); in read_time() |
| A D | clint.h | 46 static inline uint64_t clint_get_mtime(void) in clint_get_mtime() function |
Completed in 2 milliseconds