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;