X86_CR4_PGE        57 arch/x86/include/asm/kvm_host.h 			  | X86_CR4_PGE | X86_CR4_PCE | X86_CR4_OSFXSR | X86_CR4_PCIDE \
X86_CR4_PGE        29 arch/x86/include/asm/tlbflush.h 	native_write_cr4(cr4 & ~X86_CR4_PGE);