hga_txt_mode      380 drivers/video/fbdev/hgafb.c 	hga_txt_mode();
hga_txt_mode      599 drivers/video/fbdev/hgafb.c 	hga_txt_mode();