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);