drm/exynos: exynos_hdmi: Pass correct pointer to free_irq()
authorLars-Peter Clausen <lars@metafoo.de>
Mon, 20 May 2013 17:32:06 +0000 (19:32 +0200)
committerInki Dae <inki.dae@samsung.com>
Wed, 22 May 2013 02:45:51 +0000 (11:45 +0900)
commit4c1d8def9d5bbd642782893ccd849963f1811ae6
treeb7a39bf8f8b0b511a0a3f2180554d1501b9bf193
parentf02504587ed5669cc721a1f2351322e6badfe67f
drm/exynos: exynos_hdmi: Pass correct pointer to free_irq()

free_irq() expects the same pointer that was passed to request_threaded_irq(),
otherwise the IRQ is not freed.

The issue was found using the following coccinelle script:

<smpl>
@r1@
type T;
T devid;
@@
request_threaded_irq(..., devid)

@r2@
type r1.T;
T devid;
position p;
@@
free_irq@p(..., devid)

@@
position p != r2.p;
@@
*free_irq@p(...)
</smpl>

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
Acked-by: Seung-Woo Kim <sw0312.kim@samsung.com>
Signed-off-by: Inki Dae <inki.dae@samsung.com>
drivers/gpu/drm/exynos/exynos_hdmi.c