Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision ff48a15c09c90bcd962af59dd7a0a1bf266de1cc)
+++ kernel/generic/src/ipc/ipc.c	(revision 2b8b0ca53be5cc20f005c530d297aade8f24ad53)
@@ -563,5 +563,5 @@
 				break;
 			}
-			printf("active: %d\n",
+			printf("active: %ld\n",
 			    atomic_get(&task->phones[i].active_calls));
 		}
@@ -574,8 +574,9 @@
 	printf("ABOX - CALLS:\n");
 	for (tmp = task->answerbox.calls.next; tmp != &task->answerbox.calls;
-	    tmp = tmp->next) {
+		tmp = tmp->next) {
 		call = list_get_instance(tmp, call_t, link);
-		printf("Callid: %p Srctask:%llu M:%d A1:%d A2:%d A3:%d "
-		    "A4:%d A5:%d Flags:%x\n", call, call->sender->taskid,
+		printf("Callid: %p Srctask:%" PRIu64 " M:%" PRIun 
+			" A1:%" PRIun " A2:%" PRIun " A3:%" PRIun
+		    " A4:%" PRIun " A5:%" PRIun " Flags:%x\n", call, call->sender->taskid,
 		    IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data),
 		    IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data),
@@ -585,10 +586,11 @@
 	/* Print answerbox - calls */
 	printf("ABOX - DISPATCHED CALLS:\n");
-	for (tmp = task->answerbox.dispatched_calls.next; 
-	     tmp != &task->answerbox.dispatched_calls; 
-	     tmp = tmp->next) {
+	for (tmp = task->answerbox.dispatched_calls.next;
+		tmp != &task->answerbox.dispatched_calls; 
+		tmp = tmp->next) {
 		call = list_get_instance(tmp, call_t, link);
-		printf("Callid: %p Srctask:%llu M:%d A1:%d A2:%d A3:%d "
-		    "A4:%d A5:%d Flags:%x\n", call, call->sender->taskid,
+		printf("Callid: %p Srctask:%" PRIu64 " M:%" PRIun
+			" A1:%" PRIun " A2:%" PRIun " A3:%" PRIun
+		    " A4:%" PRIun " A5:%" PRIun " Flags:%x\n", call, call->sender->taskid,
 		    IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data),
 		    IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data),
@@ -599,7 +601,8 @@
 	printf("ABOX - ANSWERS:\n");
 	for (tmp = task->answerbox.answers.next; tmp != &task->answerbox.answers;
-	    tmp = tmp->next) {
+		tmp = tmp->next) {
 		call = list_get_instance(tmp, call_t, link);
-		printf("Callid:%p M:%d A1:%d A2:%d A3:%d A4:%d A5:%d Flags:%x\n", 
+		printf("Callid:%p M:%" PRIun " A1:%" PRIun " A2:%" PRIun
+			" A3:%" PRIun " A4:%" PRIun " A5:%" PRIun " Flags:%x\n", 
 		    call, IPC_GET_METHOD(call->data), IPC_GET_ARG1(call->data),
 		    IPC_GET_ARG2(call->data), IPC_GET_ARG3(call->data),
Index: kernel/generic/src/ipc/sysipc.c
===================================================================
--- kernel/generic/src/ipc/sysipc.c	(revision ff48a15c09c90bcd962af59dd7a0a1bf266de1cc)
+++ kernel/generic/src/ipc/sysipc.c	(revision 2b8b0ca53be5cc20f005c530d297aade8f24ad53)
@@ -427,5 +427,5 @@
 	int res;
 	int rc;
-
+	
 	GET_CHECK_PHONE(phone, phoneid, return ENOENT);
 
@@ -627,5 +627,5 @@
 		ipc_answer(&TASK->answerbox, call);
 		return ENOENT;
-	});		
+	});
 
 	if (!method_is_forwardable(IPC_GET_METHOD(call->data))) {