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;