Changes in kernel/generic/src/ipc/ipc.c [07d4271:b169619] in mainline

File:

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

kernel/generic/src/ipc/ipc.c

@@ -967 +967 @@
 void ipc_print_task(task_id_t taskid)
 {
+        irq_spinlock_lock(&tasks_lock, true);
         task_t *task = task_find_by_id(taskid);
-        if (!task)
+        if (!task) {
+                irq_spinlock_unlock(&tasks_lock, true);
                 return;
+        }
+        task_hold(task);
+        irq_spinlock_unlock(&tasks_lock, true);
 
         printf("[phone cap] [calls] [state\n");