> From: Jan Beulich [mailto:jbeul...@suse.com] > Sent: Friday, September 02, 2016 6:21 PM > > Their VMCS fields aren't tied to the respective base CPU feature flags > but instead to VMX specific ones. > > Note that while the VMCS GUEST_BNDCFGS field exists if either of the > two respective features is available, MPX continues to get exposed to > guests only with both features present. > > Also add the so far missing handling of > - GUEST_BNDCFGS in construct_vmcs() > - MSR_IA32_BNDCFGS in vmx_msr_{read,write}_intercept() > and mirror the extra correctness checks during MSR write to > vmx_load_msr(). > > Reported-by: "Rockosov, Dmitry" <dmitry.rocko...@intel.com> > Signed-off-by: Jan Beulich <jbeul...@suse.com> > Tested-by: "Rockosov, Dmitry" <dmitry.rocko...@intel.com> >
Acked-by: Kevin Tian <kevin.t...@intel.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
