Symbol: X86FSET_MPX
usr/src/uts/intel/os/cpuid.c
4416
add_x86_feature(featureset, X86FSET_MPX);
usr/src/uts/intel/os/cpuid.c
5265
X86FSET_MPX);