Changes in kernel/generic/src/ipc/ipc.c [466e95f7:feeac0d] in mainline

File:

• kernel/generic/src/ipc/ipc.c (modified) (1 diff)

kernel/generic/src/ipc/ipc.c

@@ -774 +774 @@
 static void ipc_print_call_list(list_t *list)
 {
-        list_foreach(*list, cur) {
-                call_t *call = list_get_instance(cur, call_t, ab_link);
-                
+        list_foreach(*list, ab_link, call_t, call) {
 #ifdef __32_BITS__
                 printf("%10p ", call);