On Wed, 2017-07-19 at 12:57 +0100, Andrew Cooper wrote: > Currently, the following sequence of actions: > > * VMPTRLD (creates a mapping, likely pointing at gfn 0 for an empty vmcs) > * VMWRITE CPU_BASED_VM_EXEC_CONTROL (completed by hardware) > * VMWRITE MSR_BITMAP (completed by hardware) > * VMLAUNCH > > results in an L2 guest running with ACTIVATE_MSR_BITMAP set, but Xen using a > stale mapping (likely gfn 0) when reading the interception bitmap. The > MSR_BITMAP field needs unconditionally intercepting even with VMCS shadowing, > so Xen's mapping of the bitmap can be updated. > > Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
Reviewed-by: Sergey Dyasli <sergey.dya...@citrix.com> -- Thanks, Sergey _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
