Index: uspace/srv/devman/devman.c
===================================================================
--- uspace/srv/devman/devman.c	(revision 554debd87f844cb5803239317a4c966dbc5079a5)
+++ uspace/srv/devman/devman.c	(revision 6b10dab6510950964fc02ac960103bbaedf76314)
@@ -498,5 +498,5 @@
  * @param phone		The phone to the driver.
  */
-void set_driver_phone(driver_t *driver, ipcarg_t phone)
+void set_driver_phone(driver_t *driver, sysarg_t phone)
 {
 	fibril_mutex_lock(&driver->driver_mutex);
@@ -692,5 +692,5 @@
 	    node->name);
 	
-	ipcarg_t rc;
+	sysarg_t rc;
 	ipc_call_t answer;