mda_type_name      69 drivers/video/console/mdacon.c static char *mda_type_name;
mda_type_name     279 drivers/video/console/mdacon.c 			mda_type_name = "HerculesPlus";
mda_type_name     283 drivers/video/console/mdacon.c 			mda_type_name = "HerculesColor";
mda_type_name     287 drivers/video/console/mdacon.c 			mda_type_name = "Hercules";
mda_type_name     335 drivers/video/console/mdacon.c 	mda_type_name = "MDA";
mda_type_name     350 drivers/video/console/mdacon.c 		mda_type_name, mda_vram_len/1024);