MACH_SGI_IP32
if (mach_type == MACH_SGI_IP32)
if (mach_type != MACH_SGI_IP32)
if (mach_type == MACH_SGI_IP32)
if (mach_type == MACH_SGI_IP32 &&
case MACH_SGI_IP32:
case MACH_SGI_IP32:
if (mach_type == MACH_SGI_IP32) {
case MACH_SGI_IP32:
if (mach_type == MACH_SGI_IP32) {
if (mach_type == MACH_SGI_IP32) {