Hi, This series aims to fix 2 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 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)