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
2011-02-24 19:59:21 +01:00
2011-01-28 03:16:20 -05:00
2011-02-13 16:55:46 -08:00
2011-01-25 20:50:07 +01:00
2011-03-03 11:53:25 -05:00
2011-02-23 19:42:03 -08:00
2011-02-09 14:22:37 +01:00
2011-03-10 13:21:16 -08:00
2011-01-26 10:50:04 +10:00
2011-03-01 18:49:44 -05:00
2011-01-12 18:06:19 -05:00
2011-01-13 10:25:58 -08:00
2011-01-13 08:03:09 -08:00
2011-02-14 02:40:46 -08:00
2011-02-10 14:41:49 +01:00
2011-01-21 13:34:39 -08:00
2011-02-15 04:20:57 +01:00
2011-03-13 15:35:59 -07:00
2011-03-14 12:51:04 +10:00
2011-01-20 17:02:05 -08:00
2011-03-13 07:42:52 -07:00
2011-03-08 23:13:30 +00:00
2011-01-20 17:02:05 -08:00
2011-02-17 17:08:48 -05:00
2011-02-17 14:04:59 -08:00
2011-02-23 14:44:25 -08:00
2011-02-28 12:07:32 -08:00
2011-01-26 10:49:58 +10:00
2011-01-20 21:37:29 +10:30
2011-01-21 14:08:34 +11:00
2011-02-24 17:26:41 +11:00
2011-03-22 06:51:57 -03:00
2011-02-16 17:48:59 +01:00
2011-02-12 12:51:21 -06:00
2011-03-21 20:32:39 -03:00
2011-03-04 17:53:38 -08:00
2011-03-09 14:00:44 -08:00
2011-03-13 15:56:22 -07:00
2011-03-10 14:41:51 -08:00
2011-02-25 15:07:36 -08:00
2011-03-02 13:45:19 -07:00
2011-01-26 10:49:59 +10:00
2011-02-15 19:06:31 +11:00
2011-03-07 20:45:42 -08:00
2011-02-21 17:06:21 -05:00
2011-01-12 04:59:44 -05:00
2011-01-14 09:25:59 -08:00
2011-03-04 17:53:38 -08:00
2011-02-25 15:07:37 -08:00
2011-02-25 08:51:07 +00:00
2011-03-04 17:53:38 -08:00
2011-03-03 17:56:14 +01:00
2011-03-02 08:48:05 -05:00
2011-01-11 23:27:25 -05:00
2011-01-19 19:02:35 +09:00
2011-02-15 13:25:36 -07:00
2011-02-08 12:03:54 -08:00
2011-03-21 20:32:41 -03:00
2011-02-28 11:23:32 -06:00
2011-01-13 10:05:56 -08:00
2011-02-28 18:00:31 -08:00
2011-02-28 12:06:20 -08:00
2011-03-03 15:43:15 -08:00
2011-02-01 16:48:46 +02:00
2011-03-21 20:32:38 -03:00
2011-01-20 21:37:30 +10:30
2011-02-11 16:12:20 -08:00
2011-03-14 10:44:31 +00:00
2011-02-17 10:31:20 +00:00
2011-01-14 10:12:29 -06:00
2011-01-20 16:39:23 -08:00
a07500ef69