MACH_DS5000_XX     36 arch/mips/dec/prom/identify.c 	[MACH_DS5000_XX]	"Personal DECstation 5000/xx",
MACH_DS5000_XX    165 arch/mips/dec/prom/identify.c 		mips_machtype = MACH_DS5000_XX;
MACH_DS5000_XX    142 arch/mips/dec/setup.c 	case MACH_DS5000_XX:	/* DS5000/xx Maxine */
MACH_DS5000_XX    737 arch/mips/dec/setup.c 	case MACH_DS5000_XX:	/* Personal DS5000/xx */
MACH_DS5000_XX     59 arch/mips/dec/tc.c 	case MACH_DS5000_XX:
MACH_DS5000_XX     41 arch/mips/dec/wbflush.c 	case MACH_DS5000_XX:	/* Personal DS5000/2x */
MACH_DS5000_XX     18 arch/mips/include/asm/dec/machtype.h 			 mips_machtype == MACH_DS5000_XX  || \
MACH_DS5000_XX     23 arch/mips/include/asm/dec/machtype.h 			 mips_machtype == MACH_DS5000_XX  || \
MACH_DS5000_XX    126 drivers/video/fbdev/maxinefb.c 	if (mips_machtype != MACH_DS5000_XX) {