hga_type_name      76 drivers/video/fbdev/hgafb.c static char *hga_type_name;
hga_type_name     338 drivers/video/fbdev/hgafb.c 			hga_type_name = "HerculesPlus";
hga_type_name     342 drivers/video/fbdev/hgafb.c 			hga_type_name = "HerculesColor";
hga_type_name     346 drivers/video/fbdev/hgafb.c 			hga_type_name = "Hercules";
hga_type_name     562 drivers/video/fbdev/hgafb.c 		hga_type_name, hga_vram_len/1024);