if (TARGET_64BIT) {
...
if (TARGET_MACHO && (flag_mkernel || flag_apple_kext)) target_flags |= MASK_NO_RED_ZONE;