native_pte_val
pxx_xchg64(pte, ptep, native_pte_val(pte));
#define pte_val(x) native_pte_val(x)
pteval_t v = native_pte_val(pte);
pteval_t v = native_pte_val(pte);
pteval_t v = native_pte_val(pte);
pteval_t v = native_pte_val(pte);
return native_pte_val(pte) & PTE_FLAGS_MASK;
pr_debug("set_pte_vaddr %lx to %lx\n", vaddr, native_pte_val(pteval));