Index: uspace/lib/c/generic/ipc.c
===================================================================
--- uspace/lib/c/generic/ipc.c	(revision 569a51acd0cd10a573e65d239ca788a66e80c2db)
+++ uspace/lib/c/generic/ipc.c	(revision 001667409fe983adba70256d5d79278a7e0e12bd)
@@ -379,11 +379,5 @@
 int ipc_connect_kbox(task_id_t id, cap_handle_t *phone)
 {
-#ifdef __32_BITS__
-	sysarg64_t arg = (sysarg64_t) id;
-	return __SYSCALL2(SYS_IPC_CONNECT_KBOX, (sysarg_t) &arg, (sysarg_t) phone);
-#endif
-#ifdef __64_BITS__
-	return __SYSCALL2(SYS_IPC_CONNECT_KBOX, (sysarg_t) id, (sysarg_t) phone);
-#endif
+	return __SYSCALL2(SYS_IPC_CONNECT_KBOX, (sysarg_t) &id, (sysarg_t) phone);
 }