[PATCH 0/1] drm/vc4: hdmi: Replace drm_detect_hdmi_monitor() with drm_display_info.is_hdmi

["José Expósito" <jose.exposito89@gmail.com>]

Hello everyone,

This patch replaces the calls to drm_detect_hdmi_monitor() with the more
efficient drm_display_info.is_hdmi in the VC4 driver.

After applying it, vc4_encoder->hdmi_monitor could be removed in a
follow up patch. However, since it is used by some code not present in
the mainline kernel but present in the Raspberry Pi tree [1] I decided
to send only this first patch and see if the maintainers also want to
remove vc4_encoder->hdmi_monitor.

Best wishes,
José Expósito

[1] https://github.com/raspberrypi/linux/blob/rpi-5.15.y/drivers/gpu/drm/vc4/vc4_firmware_kms.c#L1410

José Expósito (1):
  drm/vc4: hdmi: Replace drm_detect_hdmi_monitor() with is_hdmi

 drivers/gpu/drm/vc4/vc4_hdmi.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

-- 
2.25.1