Searched defs:timecmp (Results 1 – 3 of 3) sorted by relevance
44 uint64_t timecmp, uint64_t delta, in riscv_timer_write_timecmp()
140 uint64_t timecmp = mtimer->timecmp[hartid]; in riscv_aclint_mtimer_read() local144 uint64_t timecmp = mtimer->timecmp[hartid]; in riscv_aclint_mtimer_read() local
35 uint64_t *timecmp; member