Changes in kernel/generic/src/ipc/kbox.c [5c088975:4acaa7c0] 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.");
-                mutex_lock(&TASK->udebug.lock);
+                irq_spinlock_lock(&TASK->lock, true);
                 udebug_task_cleanup(TASK);
-                mutex_unlock(&TASK->udebug.lock);
+                irq_spinlock_unlock(&TASK->lock, true);
         } else {
                 LOG("Was not debugger.");