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

Timestamp:

2010-11-18T18:10:11Z (13 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

c63e70c

Parents:

991f645

Message:

Rename device_handle_t to devman_handle_t and make it explicitly clear that
device_handle_t is a handle understood by devman.

File:

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

uspace/srv/devman/devman.h

@@ -121 +121 @@
 struct node {
         /** The global unique identifier of the device. */
-        device_handle_t handle;
+        devman_handle_t handle;
         /** The name of the device specified by its parent. */
         char *name;
@@ -179 +179 @@
          * manner.
          */
-        device_handle_t current_handle;
+        devman_handle_t current_handle;
         
         /** Synchronize access to the device tree. */
@@ -309 +309 @@
 extern void delete_dev_node(node_t *node);
 extern node_t *find_dev_node_no_lock(dev_tree_t *tree,
-    device_handle_t handle);
-extern node_t *find_dev_node(dev_tree_t *tree, device_handle_t handle);
+    devman_handle_t handle);
+extern node_t *find_dev_node(dev_tree_t *tree, devman_handle_t handle);
 extern node_t *find_dev_node_by_path(dev_tree_t *, char *);
 extern node_t *find_node_child(node_t *, const char *);