hdmi_len         3852 drivers/gpu/drm/drm_edid.c 	u8 dbl, hdmi_len, video_len = 0;
hdmi_len         3871 drivers/gpu/drm/drm_edid.c 				hdmi_len = dbl;
hdmi_len         3888 drivers/gpu/drm/drm_edid.c 		modes += do_hdmi_vsdb_modes(connector, hdmi, hdmi_len, video,