Searched refs:timecmp_lo (Results 1 – 1 of 1) sorted by relevance
195 uint64_t timecmp_lo = mtimer->timecmp[hartid]; in riscv_aclint_mtimer_write() local197 value << 32 | (timecmp_lo & 0xFFFFFFFF)); in riscv_aclint_mtimer_write()