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