Symbol: X86FSET_64
usr/src/uts/i86pc/os/fastboot.c
1146
X86FSET_64) ||
usr/src/uts/intel/os/cpuid.c
4706
add_x86_feature(featureset, X86FSET_64);