Searched refs:CPUID_INTC_EDX_PGE (Results 1 – 3 of 3) sorted by relevance
2078 CPUID_INTC_EDX_PGE | CPUID_INTC_EDX_PAT | in platform_cpuid_mangle()4088 cp->cp_edx |= CPUID_INTC_EDX_PGE; in cpuid_pass_basic()4167 CPUID_INTC_EDX_PGE | in cpuid_pass_basic()4187 CPUID_INTC_EDX_PGE | in cpuid_pass_basic()4352 if (cp->cp_edx & CPUID_INTC_EDX_PGE) { in cpuid_pass_basic()
71 #define CPUID_INTC_EDX_PGE 0x00002000 /* page global enable */ macro
2423 if (edx & CPUID_INTC_EDX_PGE) in startup_kernel()