Changeset 0b5a4131 in mainline for uspace/lib/drv/generic/driver.c

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/lib/drv/generic/driver.c (modified) (3 diffs)

uspace/lib/drv/generic/driver.c

@@ -139 +139 @@
 }
 
-static device_t * driver_get_device(link_t *devices, device_handle_t handle)
+static device_t * driver_get_device(link_t *devices, devman_handle_t handle)
 {
         device_t *dev = NULL;
@@ -163 +163 @@
         int res = EOK;
         
-        device_handle_t dev_handle =  IPC_GET_ARG1(*icall);
+        devman_handle_t dev_handle =  IPC_GET_ARG1(*icall);
         device_t *dev = create_device();
         dev->handle = dev_handle;
@@ -221 +221 @@
          * the device to which the client connected.
          */
-        device_handle_t handle = IPC_GET_ARG2(*icall);
+        devman_handle_t handle = IPC_GET_ARG2(*icall);
         device_t *dev = driver_get_device(&devices, handle);