Searched refs:vsepc (Results 1 – 2 of 2) sorted by relevance
592 nacl_csr_write(nsh, CSR_VSEPC, csr->vsepc); in kvm_arch_vcpu_load()611 csr_write(CSR_VSEPC, csr->vsepc); in kvm_arch_vcpu_load()669 csr->vsepc = nacl_csr_read(nsh, CSR_VSEPC); in kvm_arch_vcpu_put()679 csr->vsepc = csr_read(CSR_VSEPC); in kvm_arch_vcpu_put()
177 unsigned long vsepc; member