Changeset e85920d in mainline for uspace/srv/devman/devman.c

Timestamp:

2010-02-18T15:23:15Z (14 years ago)

Author:

Lenka Trochtova <trochtova.lenka@…>

Branches:

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

Children:

0c3666d

Parents:

08d9c4e6

Message:

parts of device manager

File:

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

uspace/srv/devman/devman.c

@@ -244 +244 @@
 node_t * create_root_node()
 {
+        printf(NAME ": create_root_node\n");
         node_t *node = create_dev_node();
         if (node) {
@@ -257 +258 @@
 driver_t * find_best_match_driver(link_t *drivers_list, node_t *node)
 {
+        printf(NAME ": find_best_match_driver\n");
         driver_t *best_drv = NULL, *drv = NULL;
         int best_score = 0, score = 0;
@@ -267 +269 @@
                         best_score = score;
                         best_drv = drv;
-                }               
+                }       
+                link = link->next;
         }       
         
@@ -281 +284 @@
 bool start_driver(driver_t *drv)
 {
+        printf(NAME ": start_driver\n");
+        
         char *argv[2];
         
@@ -293 +298 @@
         }
         
+        drv->state = DRIVER_STARTING;
         return true;
 }
@@ -298 +304 @@
 bool add_device(driver_t *drv, node_t *node)
 {
+        printf(NAME ": add_device\n");
+        
         // TODO
         
@@ -310 +318 @@
 bool assign_driver(node_t *node, link_t *drivers_list) 
 {
+        printf(NAME ": assign_driver\n");
+        
         // find the driver which is the most suitable for handling this device
         driver_t *drv = find_best_match_driver(drivers_list, node);
         if (NULL == drv) {
+                printf(NAME ": no driver found for device.\n"); 
                 return false;           
         }
@@ -319 +330 @@
         attach_driver(node, drv);
         
-        if (!drv->running) {
+        if (DRIVER_NOT_STARTED == drv->state) {
                 // start driver
                 start_driver(drv);
-        } else {
+        } 
+        
+        if (DRIVER_RUNNING == drv->state) {
                 // notify driver about new device
                 add_device(drv, node);          
@@ -332 +345 @@
 bool init_device_tree(dev_tree_t *tree, link_t *drivers_list)
 {
-        printf(NAME ": init_device_tree.");
+        printf(NAME ": init_device_tree.\n");
         // create root node and add it to the device tree
         if (NULL == (tree->root_node = create_root_node())) {