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