Changes in kernel/generic/src/ipc/kbox.c [4acaa7c0:5c088975] in mainline

File:

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

kernel/generic/src/ipc/kbox.c

@@ -107 +107 @@
                 /* Terminate debugging session (if any). */
                 LOG("Terminate debugging session.");
-                irq_spinlock_lock(&TASK->lock, true);
+                mutex_lock(&TASK->udebug.lock);
                 udebug_task_cleanup(TASK);
-                irq_spinlock_unlock(&TASK->lock, true);
+                mutex_unlock(&TASK->udebug.lock);
         } else {
                 LOG("Was not debugger.");