mfn_pte          1160 arch/x86/xen/enlighten.c 		pte = mfn_pte(phys, prot);
mfn_pte            52 arch/x86/xen/grant-table.c 	set_pte_at(&init_mm, addr, pte, mfn_pte((*frames)[0], PAGE_KERNEL));
mfn_pte           365 arch/x86/xen/mmu.c 	set_pte_vaddr(vaddr, mfn_pte(mfn, flags));