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