Changes in uspace/srv/devman/devman.h [5bee897:96b02eb9] in mainline

File:

• uspace/srv/devman/devman.h (modified) (2 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;
@@ -302 +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 *);