On Thu, 21 Apr 2022 19:07:25 +0200, José Expósito wrote:
Once EDID is parsed, the monitor HDMI support information is available through drm_display_info.is_hdmi.
This driver calls drm_detect_hdmi_monitor() to receive the same information and stores its own cached value, which is less efficient.
Avoid calling drm_detect_hdmi_monitor() and use drm_display_info.is_hdmi instead and also remove sun4i_hdmi.hdmi_monitor as it is no longer necessary.
[...]
Applied to drm/drm-misc (drm-misc-next).
Thanks! Maxime