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