mode_option_tc     63 drivers/video/fbdev/tgafb.c static const char *mode_option_tc = "1280x1024@72";
mode_option_tc   1471 drivers/video/fbdev/tgafb.c 		mode_option_tga = mode_option_tc;