options_ptr      1737 drivers/gpu/drm/drm_modes.c 	char *options_ptr = NULL;
options_ptr      1801 drivers/gpu/drm/drm_modes.c 	options_ptr = strchr(name, ',');
options_ptr      1802 drivers/gpu/drm/drm_modes.c 	if (options_ptr)
options_ptr      1803 drivers/gpu/drm/drm_modes.c 		options_off = options_ptr - name;
options_ptr      1810 drivers/gpu/drm/drm_modes.c 	} else if (options_ptr) {
options_ptr      1860 drivers/gpu/drm/drm_modes.c 	    extra_ptr != options_ptr) {
options_ptr      1869 drivers/gpu/drm/drm_modes.c 	if (options_ptr) {
options_ptr      1870 drivers/gpu/drm/drm_modes.c 		int len = strlen(name) - (options_ptr - name);
options_ptr      1872 drivers/gpu/drm/drm_modes.c 		ret = drm_mode_parse_cmdline_options(options_ptr, len,