Hi Andrzej, 2015-09-25 Andrzej Hajda <a.hajda at samsung.com>:
> DRM device should be destroyed before releasing resources.
>
> Signed-off-by: Andrzej Hajda <a.hajda at samsung.com>
> ---
> drivers/gpu/drm/exynos/exynos_hdmi.c | 8 +++++---
> 1 file changed, 5 insertions(+), 3 deletions(-)
Reviewed-by: Gustavo Padovan <gustavo.padovan at collabora.co.uk>
Gustavo
