XMADDR            242 arch/x86/include/asm/xen/page.h 	return XMADDR(PFN_PHYS(pfn_to_mfn(PFN_DOWN(phys.paddr))) | offset);
XMADDR             37 arch/x86/xen/mmu.c 	return XMADDR(((phys_addr_t)pte_mfn(*pte) << PAGE_SHIFT) + offset);