Searched refs:rtc_r (Results 1 – 2 of 2) sorted by relevance
50 uint64_t rtc_r = env->rdtime_fn(env->rdtime_fn_arg) + delta; in riscv_timer_write_timecmp() local52 if (timecmp <= rtc_r) { in riscv_timer_write_timecmp()99 diff = timecmp - rtc_r; in riscv_timer_write_timecmp()
210 uint64_t rtc_r = cpu_riscv_read_rtc_raw(mtimer->timebase_freq); in riscv_aclint_mtimer_write() local216 mtimer->time_delta = ((rtc & ~0xFFFFFFFFULL) | value) - rtc_r; in riscv_aclint_mtimer_write()219 mtimer->time_delta = value - rtc_r; in riscv_aclint_mtimer_write()224 mtimer->time_delta = (value << 32 | (rtc & 0xFFFFFFFF)) - rtc_r; in riscv_aclint_mtimer_write()