Symbol: X86FSET_PGE
usr/src/uts/i86pc/vm/hat_i86.c
825
if (is_x86_feature(x86_featureset, X86FSET_PGE) &&
usr/src/uts/intel/os/cpuid.c
4463
add_x86_feature(featureset, X86FSET_PGE);