__MACH2PHYS_VIRT_END   36 arch/x86/include/asm/xen/interface_32.h #define __MACH2PHYS_VIRT_END   0xF6800000
__MACH2PHYS_VIRT_END   41 arch/x86/include/asm/xen/interface_64.h #define __MACH2PHYS_VIRT_END    0xFFFF804000000000