Searched refs:mpx_enabled (Results 1 – 1 of 1) sorted by relevance
7141 bool mpx_enabled = guest_cpuid_has(vcpu, X86_FEATURE_MPX); in nested_vmx_entry_exit_ctls_update() local7143 if (mpx_enabled) { in nested_vmx_entry_exit_ctls_update()
