Symbol: CPUID_INTC_EDX_PGE
usr/src/uts/i86pc/dboot/dboot_startkern.c
2543
if (edx & CPUID_INTC_EDX_PGE)
usr/src/uts/intel/os/cpuid.c
2088
CPUID_INTC_EDX_PGE | CPUID_INTC_EDX_PAT |
usr/src/uts/intel/os/cpuid.c
4195
cp->cp_edx |= CPUID_INTC_EDX_PGE;
usr/src/uts/intel/os/cpuid.c
4274
CPUID_INTC_EDX_PGE |
usr/src/uts/intel/os/cpuid.c
4294
CPUID_INTC_EDX_PGE |
usr/src/uts/intel/os/cpuid.c
4462
if (cp->cp_edx & CPUID_INTC_EDX_PGE) {