MACH_DS5800        40 arch/mips/dec/prom/identify.c 	[MACH_DS5800]		"DECsystem 5800",
MACH_DS5800       169 arch/mips/dec/prom/identify.c 		mips_machtype = MACH_DS5800;
MACH_DS5800       740 arch/mips/dec/setup.c 	case MACH_DS5800:	/* DS5800 Isis */