xen_make_pmd
pv_ops.mmu.make_pmd = PV_CALLEE_SAVE(xen_make_pmd);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pmd);
pmd_t xen_make_pmd(pmdval_t pmd);