Searched refs:timecmp (Results 1 – 4 of 4) sorted by relevance
72 mtimer->timecmp[hartid] = value; in riscv_aclint_mtimer_write_timecmp()73 if (mtimer->timecmp[hartid] <= rtc) { in riscv_aclint_mtimer_write_timecmp()84 diff = mtimer->timecmp[hartid] - rtc; in riscv_aclint_mtimer_write_timecmp()140 uint64_t timecmp = mtimer->timecmp[hartid]; in riscv_aclint_mtimer_read() local141 return (size == 4) ? (timecmp & 0xFFFFFFFF) : timecmp; in riscv_aclint_mtimer_read()144 uint64_t timecmp = mtimer->timecmp[hartid]; in riscv_aclint_mtimer_read() local145 return (timecmp >> 32) & 0xFFFFFFFF; in riscv_aclint_mtimer_read()184 uint64_t timecmp_hi = mtimer->timecmp[hartid] >> 32; in riscv_aclint_mtimer_write()195 uint64_t timecmp_lo = mtimer->timecmp[hartid]; in riscv_aclint_mtimer_write()242 mtimer->timecmp[i]); in riscv_aclint_mtimer_write()[all …]
44 uint64_t timecmp, uint64_t delta, in riscv_timer_write_timecmp() argument52 if (timecmp <= rtc_r) { in riscv_timer_write_timecmp()94 if (timecmp == UINT64_MAX) { in riscv_timer_write_timecmp()100 diff = timecmp - rtc_r; in riscv_timer_write_timecmp()
26 uint64_t timecmp, uint64_t delta,
35 uint64_t *timecmp; member