[PATCH 1/5 v5] drm/virtio: use consistent names for drm_files

[Emil Velikov]

On Wed, 19 Feb 2020 at 17:56, Gurchetan Singh
<gurchetansingh at chromium.org> wrote:
>
> Minor cleanup, change:
>
> - file_priv--> file,
> - drm_file --> file.
>
> Signed-off-by: Gurchetan Singh <gurchetansingh at chromium.org>
Reviewed-by: Emil Velikov <emil.velikov at collabora.com>

-Emil