pte_mfn            37 arch/x86/xen/mmu.c 	return XMADDR(((phys_addr_t)pte_mfn(*pte) << PAGE_SHIFT) + offset);
pte_mfn          1566 arch/x86/xen/mmu_pv.c 	if (pte_mfn(pte) != INVALID_P2M_ENTRY
pte_mfn           251 arch/x86/xen/p2m.c 		mfn = pte_mfn(*ptep);
pte_mfn           725 arch/x86/xen/p2m.c 			mfn = pte_mfn(*pte);