Changes in uspace/srv/devman/devman.h [0b5a4131:96b02eb9] in mainline

File:

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

uspace/srv/devman/devman.h

@@ -86 +86 @@
         
         /** Phone asociated with this driver. */
-        ipcarg_t phone;
+        sysarg_t phone;
         /** Name of the device driver. */
         char *name;
@@ -168 +168 @@
          */
         link_t devmap_link;
+
+        /**
+         * Whether this device was already passed to the driver.
+         */
+        bool passed_to_driver;
 };
 
@@ -297 +302 @@
 
 extern driver_t *find_driver(driver_list_t *, const char *);
-extern void set_driver_phone(driver_t *, ipcarg_t);
+extern void set_driver_phone(driver_t *, sysarg_t);
 extern void initialize_running_driver(driver_t *, dev_tree_t *);