gerrit-public.fairphone.software / kernel / msm-4.9 / 03a97d825573de7b6ff1b44f257345efbff2161a / drivers / gpu / drm / vc4 / vc4_hdmi.c