set_p4d
set_p4d(p4dp, __p4d((unsigned long)pudp));
set_p4d(p4d, *p4d_k);
set_p4d(p4d, *p4d_k);
set_p4d(p4dp, __p4d(__phys_to_p4d_val(pudp) | prot));
set_p4d(p4dp, __p4d(0));
set_p4d(p4d, __p4d((unsigned long)pud));
set_p4d(p4dp, __p4d((unsigned long)invalid_pud_table));
set_p4d(p4d, val);
set_p4d(p4d, __p4d((unsigned long)pud));
set_p4d(p4d, __p4d((pfn << _PAGE_PFN_SHIFT) | _PAGE_TABLE));
set_p4d(p4d, __p4d(0));
set_p4d((p4d_t *)pgdp, (p4d_t){ pgd_val(pgd) });
set_p4d(p4dp, p4d); \
set_p4d(dst_p4dp, __p4d(p4d_val(p4d) | pgprot_val(prot)));
set_p4d(p4dp, pfn_p4d(PFN_DOWN(phys_addr), PAGE_KERNEL));
set_p4d(p4dp, pfn_p4d(PFN_DOWN(phys_addr), PAGE_TABLE));
set_p4d(kasan_early_shadow_p4d + i,
set_p4d(p4d_k, pfn_p4d(PFN_DOWN(__pa(p)), PAGE_TABLE));
set_p4d(&base_p4d[p4d_index(KASAN_SHADOW_END)],
set_p4d(p4d, pfn_p4d(PFN_DOWN(__pa(p)), PAGE_TABLE));
set_p4d(p4dp, pfn_p4d(page_to_pfn(pud_page), PAGE_TABLE));
set_p4d(p4d, val);
set_p4d(p4d, __p4d(_REGION2_ENTRY | __pa(pud)));
set_p4d(p4d, __p4d(_REGION2_ENTRY_EMPTY));
set_p4d(p4d, __p4d(_PAGE_TABLE + __pa(pud)))
set_p4d(p4d, __p4d(_PAGE_NEEDSYNC));
set_p4d(p4d, __p4d(P4D_FLAGS | __pa(pud)));
set_p4d(p4d, __p4d(p4d_val(*p4d) | _PAGE_USER));
set_p4d(p4d, __p4d(_PAGE_TABLE | pa));
PVOP_VCALL2(pv_ops, mmu.set_p4d, p4dp, val);
set_p4d((p4d_t *)(pgdp), (p4d_t) { (pgdval).pgd }); \
set_p4d(p4dp, native_make_p4d(0));
void (*set_p4d)(p4d_t *p4dp, p4d_t p4dval);
set_p4d(p4d, __p4d(_PAGE_TABLE | __pa(pud)));
set_p4d(p4dp, p4d); \
#ifndef set_p4d
set_p4d(p4d, __p4d(__pa(pud) | _KERNPG_TABLE));
.mmu.set_p4d = native_set_p4d,
set_p4d(p4d, __p4d(__pa(pud) | info->kernpg_flag | _PAGE_NOPTISHADOW));
set_p4d(p4d, *p4d_ref);
set_p4d(p4d, __p4d(__pa(pud) | _KERNPG_TABLE |
set_p4d(p4d, p4d_entry);
set_p4d(p4d_tramp,
set_p4d(p4d, __p4d(__pa(pud) | _KERNPG_TABLE));
set_p4d(p4d, __p4d(_KERNPG_TABLE | __pa(new_pud_page)));
set_p4d(p4d, __p4d(p4d_val(*p4d) & ~_PAGE_NX));
set_p4d(p4d + p4d_index(restore_jump_address), new_p4d);
set_p4d(p4d, __p4d(0));
pv_ops.mmu.set_p4d = xen_set_p4d;
pv_ops.mmu.set_p4d = xen_set_p4d_hyper;
#define set_pgd(pgdptr, pgdval) set_p4d((p4d_t *)(pgdptr), (p4d_t) { pgdval })