Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision eadaeae8dacc68cf558028f23cc96b90a08b7361)
+++ kernel/generic/src/ipc/ipc.c	(revision 8f3230ec92ab67da1d0e4a321fb627cdd307b255)
@@ -967,10 +967,10 @@
 
 #ifdef __32_BITS__
-	printf("[call id ] [method] [arg1] [arg2] [arg3] [arg4] [arg5]"
+	printf("[call adr] [method] [arg1] [arg2] [arg3] [arg4] [arg5]"
 	    " [flags] [sender\n");
 #endif
 
 #ifdef __64_BITS__
-	printf("[call id         ] [method] [arg1] [arg2] [arg3] [arg4]"
+	printf("[call address    ] [method] [arg1] [arg2] [arg3] [arg4]"
 	    " [arg5] [flags] [sender\n");
 #endif