Searched refs:vstval (Results 1 – 4 of 4) sorted by relevance
174 csr_write(vstval, csrs->vstval); in vmmops_vcpu_restore_csrs()192 csrs->vstval = csr_read(vstval); in vmmops_vcpu_save_csrs()
64 uint64_t vstval; member
212 def : SysReg<"vstval", 0x243>;
965 "'Shvstvala' (vstval provides all needed values)">;