Searched refs:CSR_VSTIMECMPH (Results 1 – 3 of 3) sorted by relevance
80 ncsr_write(CSR_VSTIMECMPH, ncycles >> 32); in kvm_riscv_vcpu_update_vstimecmp()316 ncsr_write(CSR_VSTIMECMPH, (u32)(t->next_cycles >> 32)); in kvm_riscv_vcpu_timer_restore()338 t->next_cycles |= (u64)ncsr_read(CSR_VSTIMECMPH) << 32; in kvm_riscv_vcpu_timer_sync()369 csr_write(CSR_VSTIMECMPH, -1UL); in kvm_riscv_vcpu_timer_save()
336 #define CSR_VSTIMECMPH 0x25D macro
411 #define CSR_VSTIMECMPH 0x25D macro