Changes in uspace/srv/devman/devman.c [01b87dc5:3ca3430] in mainline

File:

• uspace/srv/devman/devman.c (modified) (8 diffs)

uspace/srv/devman/devman.c

@@ -384 +384 @@
         printf(NAME ": create_root_node\n");
 
-        fibril_rwlock_write_lock(&tree->rwlock);
         node = create_dev_node();
         if (node != NULL) {
@@ -394 +393 @@
                 tree->root_node = node;
         }
-        fibril_rwlock_write_unlock(&tree->rwlock);
 
         return node != NULL;
@@ -457 +455 @@
 /** Start a driver
  *
+ * The driver's mutex is assumed to be locked.
+ *
  * @param drv           The driver's structure.
  * @return              True if the driver's task is successfully spawned, false
@@ -465 +465 @@
         int rc;
 
-        assert(fibril_mutex_is_locked(&drv->driver_mutex));
-        
         printf(NAME ": start_driver '%s'\n", drv->name);
         
@@ -861 +859 @@
 /** Find the device node structure of the device witch has the specified handle.
  *
+ * Device tree's rwlock should be held at least for reading.
+ *
  * @param tree          The device tree where we look for the device node.
  * @param handle        The handle of the device.
@@ -868 +868 @@
 {
         unsigned long key = handle;
-        link_t *link;
-        
-        assert(fibril_rwlock_is_locked(&tree->rwlock));
-        
-        link = hash_table_find(&tree->devman_devices, &key);
+        link_t *link = hash_table_find(&tree->devman_devices, &key);
         return hash_table_get_instance(link, node_t, devman_link);
 }
@@ -928 +924 @@
 /** Insert new device into device tree.
  *
+ * The device tree's rwlock should be already held exclusively when calling this
+ * function.
+ *
  * @param tree          The device tree.
  * @param node          The newly added device node. 
@@ -942 +941 @@
         assert(tree != NULL);
         assert(dev_name != NULL);
-        assert(fibril_rwlock_is_write_locked(&tree->rwlock));
         
         node->name = dev_name;