On Wed, 20 Apr 2022 13:44:59 +0200, José Expósito wrote: > Once EDID is parsed, the monitor HDMI support information is cached in > drm_display_info.is_hdmi by drm_parse_hdmi_vsdb_video(). > > This driver calls drm_detect_hdmi_monitor() to receive the same > information and stores its own cached value in > vc4_hdmi_encoder.hdmi_monitor, which is less efficient. > > [...] Applied to drm/drm-misc (drm-misc-next). Thanks! Maxime