Index: uspace/lib/c/generic/device/char.c
===================================================================
--- uspace/lib/c/generic/device/char.c	(revision df6b760f1bd75c44a53207ccec0e9abb8ca6ea0e)
+++ uspace/lib/c/generic/device/char.c	(revision eff1f033c237dd4f18d79cf25fbd33de6fa9278c)
@@ -76,5 +76,5 @@
 	}
 	
-	ipcarg_t rc;
+	sysarg_t rc;
 	if (ret != EOK) {
 		async_wait_for(req, &rc);
Index: uspace/lib/c/generic/device/hw_res.c
===================================================================
--- uspace/lib/c/generic/device/hw_res.c	(revision df6b760f1bd75c44a53207ccec0e9abb8ca6ea0e)
+++ uspace/lib/c/generic/device/hw_res.c	(revision eff1f033c237dd4f18d79cf25fbd33de6fa9278c)
@@ -40,5 +40,5 @@
 bool get_hw_resources(int dev_phone, hw_resource_list_t *hw_resources)
 {
-	ipcarg_t count = 0;
+	sysarg_t count = 0;
 	int rc = async_req_1_1(dev_phone, DEV_IFACE_ID(HW_RES_DEV_IFACE), GET_RESOURCE_LIST, &count);
 	hw_resources->count = count;