Symbol: CPUID_INTC_EDX_PSE
usr/src/uts/i86pc/dboot/dboot_startkern.c
2541
if (edx & CPUID_INTC_EDX_PSE)
usr/src/uts/intel/os/cpuid.c
2085
CPUID_INTC_EDX_PSE |
usr/src/uts/intel/os/cpuid.c
4450
if (cp->cp_edx & CPUID_INTC_EDX_PSE) {