Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 78d0da8a9f118d7192ec3a48bbc2d5f6427fa13a)
+++ kernel/generic/src/ipc/ipc.c	(revision e32e092d6f8bed442ecc81b18af9ef323bc4e650)
@@ -67,5 +67,5 @@
 static void _ipc_call_init(call_t *call)
 {
-	memsetb((uintptr_t) call, sizeof(*call), 0);
+	memsetb(call, sizeof(*call), 0);
 	call->callerbox = &TASK->answerbox;
 	call->sender = TASK;