Searched refs:vsepc (Results 1 – 2 of 2) sorted by relevance
590 nacl_csr_write(nsh, CSR_VSEPC, csr->vsepc); in kvm_arch_vcpu_load()609 csr_write(CSR_VSEPC, csr->vsepc); in kvm_arch_vcpu_load()667 csr->vsepc = nacl_csr_read(nsh, CSR_VSEPC); in kvm_arch_vcpu_put()677 csr->vsepc = csr_read(CSR_VSEPC); in kvm_arch_vcpu_put()
161 unsigned long vsepc; member