Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision 08a19ba655441635df46ca12a53414694005e074)
+++ kernel/generic/src/ipc/sysipc.c	(revision 6c2f4e91bddcbc7dbc2f8dbb792b7f67d69b2f0f)
@@ -271,10 +271,10 @@
 			int rc;
 			uintptr_t dst;
-			uintptr_t size;
-			uintptr_t max_size;
-
-			dst = IPC_GET_ARG1(answer->data);
-			size = IPC_GET_ARG2(answer->data);
-			max_size = IPC_GET_ARG2(*olddata);
+			size_t size;
+			size_t max_size;
+
+			dst = (uintptr_t)IPC_GET_ARG1(answer->data);
+			size = (size_t)IPC_GET_ARG2(answer->data);
+			max_size = (size_t)IPC_GET_ARG2(*olddata);
 
 			if (size <= max_size) {