Symbol: CPUID_INTC_EBX_7_0_MPX
usr/src/uts/intel/os/cpuid.c
4362
ecp->cp_ebx &= ~CPUID_INTC_EBX_7_0_MPX;
usr/src/uts/intel/os/cpuid.c
4415
if (ecp->cp_ebx & CPUID_INTC_EBX_7_0_MPX)