video_options 20 drivers/video/fbdev/core/fb_cmdline.c static char *video_options[FB_MAX] __read_mostly; video_options 46 drivers/video/fbdev/core/fb_cmdline.c if (video_options[i] == NULL) video_options 48 drivers/video/fbdev/core/fb_cmdline.c if (!video_options[i][0]) video_options 50 drivers/video/fbdev/core/fb_cmdline.c opt = video_options[i]; video_options 94 drivers/video/fbdev/core/fb_cmdline.c if (video_options[i] == NULL) { video_options 95 drivers/video/fbdev/core/fb_cmdline.c video_options[i] = options;