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