__MACH2PHYS_VIRT_START   35 arch/x86/include/asm/xen/interface_32.h #define __MACH2PHYS_VIRT_START 0xF5800000
__MACH2PHYS_VIRT_START   40 arch/x86/include/asm/xen/interface_64.h #define __MACH2PHYS_VIRT_START  0xFFFF800000000000