Changes in kernel/generic/src/ipc/ipc.c [b169619:07d4271] 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) {
-                irq_spinlock_unlock(&tasks_lock, true);
+        if (!task)
                 return;
-        }
-        task_hold(task);
-        irq_spinlock_unlock(&tasks_lock, true);
 
         printf("[phone cap] [calls] [state\n");