hp300_model_name   66 arch/m68k/hp300/config.c static char hp300_model_name[13] = "HP9000/";
hp300_model_name  110 arch/m68k/hp300/config.c 	strcpy(model, hp300_model_name);
hp300_model_name  269 arch/m68k/hp300/config.c 		strcat(hp300_model_name, hp300_models[hp300_model-HP_320]);