xen_make_pte      395 arch/x86/xen/mmu_pv.c PV_CALLEE_SAVE_REGS_THUNK(xen_make_pte);
xen_make_pte     1849 arch/x86/xen/mmu_pv.c 		pte[i] = xen_make_pte(pte[i].pte);
xen_make_pte     2374 arch/x86/xen/mmu_pv.c 	pv_ops.mmu.make_pte = PV_CALLEE_SAVE(xen_make_pte);