xen_make_pud
pv_ops.mmu.make_pud = PV_CALLEE_SAVE(xen_make_pud);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pud);
pud_t xen_make_pud(pudval_t pud);