Changes in uspace/srv/devman/devman.h [ffa2c8ef:0b5a4131] 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>
@@ -85 +86 @@
         
         /** Phone asociated with this driver. */
-        sysarg_t phone;
+        ipcarg_t phone;
         /** Name of the device driver. */
         char *name;
@@ -167 +168 @@
          */
         link_t devmap_link;
-
-        /**
-         * Whether this device was already passed to the driver.
-         */
-        bool passed_to_driver;
 };
 
@@ -301 +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 *);