xen_make_pte_init
pte_t xen_make_pte_init(pteval_t pte);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pte_init);
pv_ops.mmu.make_pte = PV_CALLEE_SAVE(xen_make_pte_init);