xen_make_pgd
pv_ops.mmu.make_pgd = PV_CALLEE_SAVE(xen_make_pgd);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pgd);
pgd_t xen_make_pgd(pgdval_t pgd);