> From: Andrew Cooper [mailto:andrew.coop...@citrix.com] > Sent: Tuesday, February 07, 2017 12:55 AM > > * Latch current once at the start. > * Avoid the memory operand read for INVEPT_ALL_CONTEXT. Experimentally, this > is how hardware behaves, and avoids an unnecessary pagewalk. > * Reject Reg/Reg encodings of the instruction. > * Audit eptp against maxphysaddr. > * Introduce and use VMX_INSN_INVALID_INV_OPERAND to correct the vmfail > semantics. > * Add extra newlines for clarity > > Also, introduce some TODOs for further checks which should be performed. > These checks are hard to perform at the moment, as there is no easy way to see > which MSR values where given to the guest. > > Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
Acked-by: Kevin Tian <kevin.t...@intel.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
