Symbol: CPUID_INTC_EDX_PAE
usr/src/uts/i86pc/dboot/dboot_startkern.c
2545
if (edx & CPUID_INTC_EDX_PAE)
usr/src/uts/intel/os/cpuid.c
4475
if (cp->cp_edx & CPUID_INTC_EDX_PAE) {