native_write_cr4  152 arch/x86/include/asm/special_insns.h 	native_write_cr4(x);
native_write_cr4   29 arch/x86/include/asm/tlbflush.h 	native_write_cr4(cr4 & ~X86_CR4_PGE);
native_write_cr4   31 arch/x86/include/asm/tlbflush.h 	native_write_cr4(cr4);