MACH_IS_VIRT
else if (MACH_IS_VIRT)
if (MACH_IS_VIRT) {
if (MACH_IS_VIRT && (unsigned long)addr >= 0xff000000)
if (!MACH_IS_VIRT)