Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision a9d4d2c28e8ca2746735587e04dd08fb3343d6a0)
+++ kernel/generic/src/ipc/sysipc.c	(revision 49b2dc3f313c3a625586656554c2fc5f4512df21)
@@ -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) {