extra_ptr        1736 drivers/gpu/drm/drm_modes.c 	char *bpp_ptr = NULL, *refresh_ptr = NULL, *extra_ptr = NULL;
extra_ptr        1853 drivers/gpu/drm/drm_modes.c 		extra_ptr = max(bpp_end_ptr, refresh_end_ptr);
extra_ptr        1855 drivers/gpu/drm/drm_modes.c 		extra_ptr = bpp_end_ptr;
extra_ptr        1857 drivers/gpu/drm/drm_modes.c 		extra_ptr = refresh_end_ptr;
extra_ptr        1859 drivers/gpu/drm/drm_modes.c 	if (extra_ptr &&
extra_ptr        1860 drivers/gpu/drm/drm_modes.c 	    extra_ptr != options_ptr) {
extra_ptr        1861 drivers/gpu/drm/drm_modes.c 		int len = strlen(name) - (extra_ptr - name);
extra_ptr        1863 drivers/gpu/drm/drm_modes.c 		ret = drm_mode_parse_cmdline_extra(extra_ptr, len, false,