(subset) [PATCH v3 1/2] drm/vc4: hdmi: Replace drm_detect_hdmi_monitor() with is_hdmi

[Maxime Ripard]

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