Searched refs:vsepc (Results 1 – 3 of 3) sorted by relevance
172 csr_write(vsepc, csrs->vsepc); in vmmops_vcpu_restore_csrs()190 csrs->vsepc = csr_read(vsepc); in vmmops_vcpu_save_csrs()
62 uint64_t vsepc; member
210 def : SysReg<"vsepc", 0x241>;