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