Changeset 0b5a4131 in mainline for uspace/lib/drv/include/driver.h

Timestamp:

2010-11-18T18:10:11Z (15 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/include/driver.h (modified) (1 diff)

uspace/lib/drv/include/driver.h

@@ -118 +118 @@
          * device manager).
          */
-        device_handle_t handle;
+        devman_handle_t handle;
         
         /**