native_pgd_val
new_cr3 = (u64 *)(native_pgd_val(pgdp[0]) & PTE_PFN_MASK);
PVOP_VCALL2(pv_ops, mmu.set_pgd, pgdp, native_pgd_val(pgd));
return !native_pgd_val(pgd);
#define pgd_val(x) native_pgd_val(x)
WRITE_ONCE(*p4dp, native_make_p4d(native_pgd_val(pgd)));
return native_pgd_val(pgd) & PTE_FLAGS_MASK;
return native_pgd_val(p4d.pgd);
return native_pgd_val(pud.p4d.pgd);
return native_pgd_val(pmd.pud.p4d.pgd);
new_cr3 = (u64 *)(native_pgd_val(cr3[0]) & PTE_PFN_MASK);