mpx_enabled      6982 arch/x86/kvm/vmx/vmx.c 		bool mpx_enabled = guest_cpuid_has(vcpu, X86_FEATURE_MPX);
mpx_enabled      6984 arch/x86/kvm/vmx/vmx.c 		if (mpx_enabled) {