On 14/09/2018 02:25, Liran Alon wrote: > Hi, > > This series aims to fix 3 issues in MPX VMX controls emulation. > > The 1st patch makes sure that we don't expose MPX VMX controls to guest > in case vCPU doesn't support MPX (It is not exposed via CPUID). > > The 2nd patch make sure we expose BNDCFGS MSR and virtualize MPX VMX controls > only in guest host MPX is enabled. > > The 3nd patch fixes an issue in emulation of VM_ENTRY_LOAD_BNDCFGS. > > Regards, > -Liran > > v1->v2 Changes: > Fixed enter_vmx_non_root_mode() change to not vmcs_read(GUEST_BNDCFGS) > in case !vmx_mpx_supported() (Thanks to Sean J Christopherson) > > v2->v3 Changes: > Added 2nd patch as suggested by Sean Christopherson) > Queued with a small change: - /* to migrate it to L2 if VM_ENTRY_LOAD_DEBUG_CONTROLS is off */ + /* moved to vmcs02 when corresponding vmcs12 entry controls are 0 */ Thanks, Paolo