deadlock() - more info

- deadlock() is more verbose in case of a detected deadlock. First, it
  lists all processses in the deadlock group. Then it prints the proc
  extra info, not only  stack trace and register dump

diff --git a/kernel/proc.c b/kernel/proc.c
index d7df9a8e9b4432d262e49b0f762c3769287730a9..12dcc5681cca1e0733b81efcc5e625823dedb42f 100644 (file)
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -492,6 +492,10 @@ proc_nr_t src_dst;                         /* src or dst process */
                printf("deadlock between these processes:\n");
                for(i = 0; i < group_size; i++) {
                        printf(" %10s ", processes[i]->p_name);
+               }
+               printf("\n\n");
+               for(i = 0; i < group_size; i++) {
+                       print_proc(processes[i]);
                        proc_stacktrace(processes[i]);
                }
          }