linux-3.13-dvb-mutex.patch

--- drivers/media/dvb-core/dvbdev.c	2014-12-01 01:42:27.000000000 +0100
+++ drivers/media/dvb-core/dvbdev.c	2014-12-01 16:30:50.565898179 +0100
@@ -68,7 +68,7 @@
 {
 	struct dvb_device *dvbdev;
 
-	mutex_lock(&dvbdev_mutex);
+	//mutex_lock(&dvbdev_mutex);
 	down_read(&minor_rwsem);
 	dvbdev = dvb_minors[iminor(inode)];
 
@@ -84,12 +84,12 @@
 		if (file->f_op->open)
 			err = file->f_op->open(inode,file);
 		up_read(&minor_rwsem);
-		mutex_unlock(&dvbdev_mutex);
+		//mutex_unlock(&dvbdev_mutex);
 		return err;
 	}
 fail:
 	up_read(&minor_rwsem);
-	mutex_unlock(&dvbdev_mutex);
+	//mutex_unlock(&dvbdev_mutex);
 	return -ENODEV;
 }