Searched refs:CPUID_INTC_EDX_PAE (Results 1 – 3 of 3) sorted by relevance
64 #define CPUID_INTC_EDX_PAE 0x00000040 /* physical addr extension */ macro
2539 if (edx & CPUID_INTC_EDX_PAE) in startup_kernel()
4379 if (cp->cp_edx & CPUID_INTC_EDX_PAE) { in cpuid_pass_basic()