Changes in uspace/srv/devman/main.c [224c0e7:fb4c877] in mainline

File:

• uspace/srv/devman/main.c (modified) (1 diff)

uspace/srv/devman/main.c

@@ -326 +326 @@
                         }
                         
+                        /* Verify that driver removed all functions */
+                        fibril_rwlock_read_lock(&device_tree.rwlock);
+                        if (!list_empty(&dev->functions)) {
+                                fibril_rwlock_read_unlock(&device_tree.rwlock);
+                                return EIO;
+                        }
+                        fibril_rwlock_read_unlock(&device_tree.rwlock);
+                        
                         detach_driver(&device_tree, dev);