native_write_cr3  137 arch/x86/include/asm/special_insns.h 	native_write_cr3(x);
native_write_cr3   20 arch/x86/include/asm/tlbflush.h 	native_write_cr3(native_read_cr3());