Symbol: __MACH2PHYS_SHIFT