Searched refs:CPUID_INTC_EDX_PGE (Results 1 – 3 of 3) sorted by relevance
2084 CPUID_INTC_EDX_PGE | CPUID_INTC_EDX_PAT | in platform_cpuid_mangle()4102 cp->cp_edx |= CPUID_INTC_EDX_PGE; in cpuid_pass_basic()4181 CPUID_INTC_EDX_PGE | in cpuid_pass_basic()4201 CPUID_INTC_EDX_PGE | in cpuid_pass_basic()4366 if (cp->cp_edx & CPUID_INTC_EDX_PGE) { in cpuid_pass_basic()
71 #define CPUID_INTC_EDX_PGE 0x00002000 /* page global enable */ macro
2537 if (edx & CPUID_INTC_EDX_PGE) in startup_kernel()