Home
last modified time | relevance | path

Searched refs:timecmp (Results 1 – 1 of 1) sorted by relevance

/optee_os-3.20.0/core/arch/riscv/include/kernel/
A Dclint.h35 static inline void clint_set_mtimecmp(uint64_t timecmp) in clint_set_mtimecmp() argument
38 io_write64(CLINT_MTIMECMP(get_core_pos()), timecmp); in clint_set_mtimecmp()

Completed in 2 milliseconds