Index: uspace/lib/usb/src/usbdrv.c
===================================================================
--- uspace/lib/usb/src/usbdrv.c	(revision 9223dc5c58b56b31aed872ef44cce3626c8181c9)
+++ uspace/lib/usb/src/usbdrv.c	(revision a9b6bec345bf507ad3bd659aecd9e5f287828514)
@@ -90,5 +90,5 @@
 usb_address_t usb_drv_get_my_address(int phone, device_t *dev)
 {
-	ipcarg_t address;
+	sysarg_t address;
 	int rc = async_req_2_1(phone, DEV_IFACE_ID(USBHC_DEV_IFACE),
 	    IPC_M_USBHC_GET_ADDRESS,
@@ -132,5 +132,5 @@
 usb_address_t usb_drv_request_address(int phone)
 {
-	ipcarg_t address;
+	sysarg_t address;
 	int rc = async_req_1_1(phone, DEV_IFACE_ID(USBHC_DEV_IFACE),
 	    IPC_M_USBHC_REQUEST_ADDRESS, &address);
@@ -298,9 +298,9 @@
  * @return Error status.
  */
-static int read_buffer_in(int phone, ipcarg_t hash,
+static int read_buffer_in(int phone, sysarg_t hash,
     void *buffer, size_t size, size_t *actual_size)
 {
 	ipc_call_t answer_data;
-	ipcarg_t answer_rc;
+	sysarg_t answer_rc;
 	aid_t req;
 	int rc;
@@ -350,5 +350,5 @@
 	transfer_info_t *transfer = (transfer_info_t *) handle;
 
-	ipcarg_t answer_rc;
+	sysarg_t answer_rc;
 	async_wait_for(transfer->request, &answer_rc);
 
@@ -367,5 +367,5 @@
 		 * We will use it when actually reading-in the data.
 		 */
-		ipcarg_t buffer_hash = IPC_GET_ARG1(transfer->reply);
+		sysarg_t buffer_hash = IPC_GET_ARG1(transfer->reply);
 		if (buffer_hash == 0) {
 			rc = ENOENT;