native_make_pte
set_pte(ptep, native_make_pte(0));
*xp = native_make_pte(0);
#define __pte(x) native_make_pte(x)
return native_make_pte(v | set);
return native_make_pte(v & ~clear);
return native_make_pte(v);
return native_make_pte(v);
native_set_pte(ptep, native_make_pte(0));
return native_make_pte(xchg(&xp->pte, 0));
return native_make_pte(pte);
pte = native_make_pte(xen_read_phys_ulong(pa + pte_index(vaddr) *
return native_make_pte(pte);
native_make_pte(0), 0);
(int)sizeof(pteval_t) * 2, (unsigned long long)pte_val(native_make_pte(__entry->pteval)),
(int)sizeof(pteval_t) * 2, (unsigned long long)pte_val(native_make_pte(__entry->pteval)),