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);