native_read_cr3 132 arch/x86/include/asm/special_insns.h return native_read_cr3(); native_read_cr3 20 arch/x86/include/asm/tlbflush.h native_write_cr3(native_read_cr3());