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

File:

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

uspace/srv/devman/devman.h

@@ -40 +40 @@
 #include <adt/list.h>
 #include <adt/hash_table.h>
-#include <ipc/ipc.h>
 #include <ipc/devman.h>
 #include <ipc/devmap.h>
@@ -86 +85 @@
         
         /** Phone asociated with this driver. */
-        ipcarg_t phone;
+        sysarg_t phone;
         /** Name of the device driver. */
         char *name;
@@ -168 +167 @@
          */
         link_t devmap_link;
+
+        /**
+         * Whether this device was already passed to the driver.
+         */
+        bool passed_to_driver;
 };
 
@@ -297 +301 @@
 
 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 *);