HGA_GFX           172 drivers/video/fbdev/hgafb.c 	else if (hga_mode == HGA_GFX)
HGA_GFX           237 drivers/video/fbdev/hgafb.c 	hga_mode = HGA_GFX;