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