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

File:

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

uspace/srv/devman/devman.h

@@ -86 +86 @@
         
         /** Phone asociated with this driver. */
-        sysarg_t phone;
+        ipcarg_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;
 };
 
@@ -302 +297 @@
 
 extern driver_t *find_driver(driver_list_t *, const char *);
-extern void set_driver_phone(driver_t *, sysarg_t);
+extern void set_driver_phone(driver_t *, ipcarg_t);
 extern void initialize_running_driver(driver_t *, dev_tree_t *);