Index: kernel/generic/src/ipc/kbox.c
===================================================================
--- kernel/generic/src/ipc/kbox.c	(revision 4acaa7c0d4fdaf4f08ad44578e5a437a7f8dc98f)
+++ kernel/generic/src/ipc/kbox.c	(revision 46c20c843b2930f93143ea308af9c4d278d6cf64)
@@ -107,7 +107,7 @@
 		/* 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.");