Index: uspace/drv/vhc/conn.h
===================================================================
--- uspace/drv/vhc/conn.h	(revision 70e5ad5772087eb14245a665e4ff2827fb0091c7)
+++ uspace/drv/vhc/conn.h	(revision 467bf403640ee108a5beaa0da88dce261ba9fabf)
@@ -42,5 +42,5 @@
 #include "devices.h"
 
-void connection_handler_host(ipcarg_t);
+void connection_handler_host(sysarg_t);
 
 usb_hcd_transfer_ops_t vhc_transfer_ops;
Index: uspace/drv/vhc/conndev.c
===================================================================
--- uspace/drv/vhc/conndev.c	(revision 70e5ad5772087eb14245a665e4ff2827fb0091c7)
+++ uspace/drv/vhc/conndev.c	(revision 467bf403640ee108a5beaa0da88dce261ba9fabf)
@@ -47,5 +47,5 @@
 {
 	ipc_call_t answer_data;
-	ipcarg_t answer_rc;
+	sysarg_t answer_rc;
 	aid_t req;
 	int rc;
@@ -83,5 +83,5 @@
     ipc_callid_t icallid, ipc_call_t *icall)
 {
-	ipcarg_t method = IPC_GET_METHOD(*icall);
+	sysarg_t method = IPC_GET_IMETHOD(*icall);
 
 	if (method == IPC_M_CONNECT_TO_ME) {
Index: uspace/drv/vhc/debug.c
===================================================================
--- uspace/drv/vhc/debug.c	(revision 70e5ad5772087eb14245a665e4ff2827fb0091c7)
+++ uspace/drv/vhc/debug.c	(revision 467bf403640ee108a5beaa0da88dce261ba9fabf)
@@ -42,9 +42,9 @@
 /** Debug print informing of invalid call.
  */
-void dprintf_inval_call(int level, ipc_call_t call, ipcarg_t phone_hash)
+void dprintf_inval_call(int level, ipc_call_t call, sysarg_t phone_hash)
 {
 	dprintf(level, "phone%#x: invalid call [%u (%u, %u, %u, %u, %u)]",
 	    phone_hash,
-	    IPC_GET_METHOD(call),
+	    IPC_GET_IMETHOD(call),
 	    IPC_GET_ARG1(call), IPC_GET_ARG2(call), IPC_GET_ARG3(call),
 	    IPC_GET_ARG4(call), IPC_GET_ARG5(call));
Index: uspace/drv/vhc/devices.c
===================================================================
--- uspace/drv/vhc/devices.c	(revision 70e5ad5772087eb14245a665e4ff2827fb0091c7)
+++ uspace/drv/vhc/devices.c	(revision 467bf403640ee108a5beaa0da88dce261ba9fabf)
@@ -100,5 +100,5 @@
 		
 		ipc_call_t answer_data;
-		ipcarg_t answer_rc;
+		sysarg_t answer_rc;
 		aid_t req;
 		int rc = EOK;
Index: uspace/drv/vhc/vhcd.h
===================================================================
--- uspace/drv/vhc/vhcd.h	(revision 70e5ad5772087eb14245a665e4ff2827fb0091c7)
+++ uspace/drv/vhc/vhcd.h	(revision 467bf403640ee108a5beaa0da88dce261ba9fabf)
@@ -47,5 +47,5 @@
 #define dprintf(level, format, ...) \
 	usb_dprintf(NAME, (level), format "\n", ##__VA_ARGS__)
-void dprintf_inval_call(int, ipc_call_t, ipcarg_t);
+void dprintf_inval_call(int, ipc_call_t, sysarg_t);
 
 #endif