__MACH2PHYS_VIRT_END_PAE
mk_unsigned_long(__MACH2PHYS_VIRT_END_PAE)
#define __MACH2PHYS_VIRT_END __MACH2PHYS_VIRT_END_PAE