Searched refs:timecmp (Results 1 – 2 of 2) sorted by relevance
44 uint64_t timecmp, uint64_t delta, in riscv_timer_write_timecmp() argument67 if (timecmp <= rtc_r) { in riscv_timer_write_timecmp()109 if (timecmp == UINT64_MAX) { in riscv_timer_write_timecmp()115 diff = timecmp - rtc_r; in riscv_timer_write_timecmp()
26 uint64_t timecmp, uint64_t delta,