gerrit-public.fairphone.software / kernel / msm-4.19 / 94dd0a4ae0b1af997b1f45793e5fd5b47f4ffc18 / drivers / gpu / drm / tilcdc / tilcdc_external.h