native_make_pud
set_pud(pudp, native_make_pud(0));
#define __pud(x) native_make_pud(x)
return native_make_pud(v | set);
return native_make_pud(v & ~clear);
return native_make_pud(v);
return native_make_pud(v);
native_set_pud(pud, native_make_pud(0));
return native_make_pud(xchg(&xp->pud, 0));
pud = native_make_pud(xen_read_phys_ulong(pa + pud_index(vaddr) *
return native_make_pud(pud);
(int)sizeof(pudval_t) * 2, (unsigned long long)pud_val(native_make_pud(__entry->pudval)),