native_pte_val    437 arch/x86/kernel/paravirt.c 	.pte_val = native_pte_val,
native_pte_val    214 arch/x86/mm/init_64.c 	pr_debug("set_pte_vaddr %lx to %lx\n", vaddr, native_pte_val(pteval));
native_pte_val    527 arch/x86/xen/mmu.c 	set_64bit((u64 *)ptep, native_pte_val(pte));
native_pte_val    152 include/asm-x86/page.h 	return native_pte_val(pte) & PTE_FLAGS_MASK;
native_pte_val    175 include/asm-x86/page.h #define pte_val(x)	native_pte_val(x)
native_pte_val     68 include/asm-x86/pgtable-3level.h 	set_64bit((unsigned long long *)(ptep), native_pte_val(pte));