xen_make_pte
pte[i] = xen_make_pte(pte[i].pte);
pv_ops.mmu.make_pte = PV_CALLEE_SAVE(xen_make_pte);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pte);
pte_t xen_make_pte(pteval_t pte);