Searched refs:vsie (Results 1 – 3 of 3) sorted by relevance
171 csr_write(vsie, csrs->vsie); in vmmops_vcpu_restore_csrs()189 csrs->vsie = csr_read(vsie); in vmmops_vcpu_save_csrs()
57 uint64_t vsie; member
207 def : SysReg<"vsie", 0x204>;