Searched refs:vscause (Results 1 – 3 of 3) sorted by relevance
175 csr_write(vscause, csrs->vscause); in vmmops_vcpu_restore_csrs()193 csrs->vscause = csr_read(vscause); in vmmops_vcpu_save_csrs()
61 uint64_t vscause; member
211 def : SysReg<"vscause", 0x242>;