linux/drivers/media/video/tlg2300
Alexander Strakh a07500ef69 [media] drivers/media/video/tlg2300/pd-video.c: Remove second mutex_unlock in pd_vidioc_s_fmt
Error path in file drivers/media/video/tlg2300/pd-video.c:
1. First mutex_unlock on &pd->lock in line 767 (in function that
   called from line 805)
2. Second in line  806

 805        pd_vidioc_s_fmt(pd, &f->fmt.pix);
 806        mutex_unlock(&pd->lock);

Found by Linux Device Drivers Verification Project

Signed-off-by: Alexander Strakh <strakh@ispras.ru>
Acked-by: Huang Shijie <shijie8@gmail.com>
Signed-off-by: Mauro Carvalho Chehab <mchehab@redhat.com>
2011-03-22 06:51:57 -03:00
..
Kconfig [media] rc: rename the remaining things to rc_core 2010-12-29 08:16:50 -02:00
Makefile V4L/DVB: Add driver for Telegent tlg2300 2010-02-26 15:10:58 -03:00
pd-alsa.c include cleanup: Update gfp.h and slab.h includes to prepare for breaking implicit slab.h inclusion from percpu.h 2010-03-30 22:02:32 +09:00
pd-common.h V4L/DVB: media/video/tlg2300: fix build when CONFIG_PM=n 2010-02-26 15:11:02 -03:00
pd-dvb.c V4L/DVB: tlg2300: cleanups when power management is not configured 2010-05-18 00:46:24 -03:00
pd-main.c Merge branch 'usb-next' into musb-merge 2010-12-16 10:05:06 -08:00
pd-radio.c V4L/DVB: tlg2300: make local variables and functions static 2010-05-18 00:46:25 -03:00
pd-video.c [media] drivers/media/video/tlg2300/pd-video.c: Remove second mutex_unlock in pd_vidioc_s_fmt 2011-03-22 06:51:57 -03:00
vendorcmds.h V4L/DVB: Add driver for Telegent tlg2300 2010-02-26 15:10:58 -03:00