Changes in kernel/generic/src/ipc/ipc.c [a36f442:eed4139] in mainline

File:

• kernel/generic/src/ipc/ipc.c (modified) (2 diffs)

kernel/generic/src/ipc/ipc.c

@@ -910 +910 @@
         mutex_lock(&phone->lock);
         if (phone->state != IPC_PHONE_FREE) {
-                printf("%-11d %7" PRIun " ", cap->handle,
+                printf("%-11d %7" PRIun " ", (int) CAP_HANDLE_RAW(cap->handle),
                     atomic_get(&phone->active_calls));
 
@@ -967 +967 @@
 
 #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