Changeset 0c3666d in mainline for uspace/srv/devman/devman.h

Timestamp:

2010-02-19T14:51:15Z (15 years ago)

Author:

Lenka Trochtova <trochtova.lenka@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

924c75e1

Parents:

e85920d

Message:

parts of device manager (unstable)

File:

• uspace/srv/devman/devman.h (modified) (3 diffs)

uspace/srv/devman/devman.h

@@ -168 +168 @@
 }
 
+// Driver list
+
+static inline void init_driver_list(driver_list_t *drv_list) 
+{
+        assert(NULL != drv_list);
+        
+        list_initialize(&drv_list->drivers);
+        fibril_mutex_initialize(&drv_list->drivers_mutex);      
+}
+
 // Drivers
 
 driver_t * create_driver();
 bool get_driver_info(const char *base_path, const char *name, driver_t *drv);
-int lookup_available_drivers(link_t *drivers_list, const char *dir_path);
-
-driver_t * find_best_match_driver(link_t *drivers_list, node_t *node);
-bool assign_driver(node_t *node, link_t *drivers_list);
-
+int lookup_available_drivers(driver_list_t *drivers_list, const char *dir_path);
+
+driver_t * find_best_match_driver(driver_list_t *drivers_list, node_t *node);
+bool assign_driver(node_t *node, driver_list_t *drivers_list);
+
+void add_driver(driver_list_t *drivers_list, driver_t *drv);
 void attach_driver(node_t *node, driver_t *drv);
 bool add_device(driver_t *drv, node_t *node);
@@ -214 +225 @@
 }
 
-static inline void add_driver(link_t *drivers_list, driver_t *drv)
-{
-        list_prepend(&drv->drivers, drivers_list);
-        printf(NAME": the '%s' driver was added to the list of available drivers.\n", drv->name);
-}
-
-
 // Device nodes
 node_t * create_root_node();
@@ -250 +254 @@
 // Device tree
 
-bool init_device_tree(dev_tree_t *tree, link_t *drivers_list);
+bool init_device_tree(dev_tree_t *tree, driver_list_t *drivers_list);