Symbol: X86FSET_IBPB
usr/src/uts/intel/os/cpuid.c
3450
add_x86_feature(featureset, X86FSET_IBPB);
usr/src/uts/intel/os/cpuid.c
3487
add_x86_feature(featureset, X86FSET_IBPB);