Searched refs:timecmp (Results 1 – 1 of 1) sorted by relevance
35 static inline void clint_set_mtimecmp(uint64_t timecmp) in clint_set_mtimecmp() argument38 io_write64(CLINT_MTIMECMP(get_core_pos()), timecmp); in clint_set_mtimecmp()