native_make_pmd
set_pmd(pmdp, native_make_pmd(0));
#define __pmd(x) native_make_pmd(x)
return native_make_pmd(v | set);
return native_make_pmd(v & ~clear);
return native_make_pmd(v);
return native_make_pmd(v);
return native_make_pmd(xchg(&xp->pmd, 0));
native_set_pmd(pmd, native_make_pmd(0));
pmd = native_make_pmd(xen_read_phys_ulong(pa + pmd_index(vaddr) *
return native_make_pmd(pmd);
(int)sizeof(pmdval_t) * 2, (unsigned long long)pmd_val(native_make_pmd(__entry->pmdval)),