Searched refs:CSR_VSTIMECMPH (Results 1 – 4 of 4) sorted by relevance
76 csr_write(CSR_VSTIMECMPH, ncycles >> 32); in kvm_riscv_vcpu_update_vstimecmp()310 csr_write(CSR_VSTIMECMPH, (u32)(t->next_cycles >> 32)); in kvm_riscv_vcpu_timer_restore()331 t->next_cycles |= (u64)csr_read(CSR_VSTIMECMPH) << 32; in kvm_riscv_vcpu_timer_sync()
310 #define CSR_VSTIMECMPH 0x25D macro
276 #define CSR_VSTIMECMPH 0x25D macro
465 if ((csrno == CSR_VSTIMECMP) || (csrno == CSR_VSTIMECMPH)) { in sstc()5179 [CSR_VSTIMECMPH] = { "vstimecmph", sstc_32, read_vstimecmph,