Index: kernel/generic/src/udebug/udebug.c
===================================================================
--- kernel/generic/src/udebug/udebug.c	(revision da1bafb8cf9a3b3be8ef21bc114daaa476a85190)
+++ kernel/generic/src/udebug/udebug.c	(revision bdfd3cdd49ad4a46f7179211331798a5b1821e97)
@@ -389,5 +389,5 @@
  * FINISHED event for each of them.
  *
- * @param task Task structure. ta->udebug.lock must be already locked.
+ * @param task Task structure. task->udebug.lock must be already locked.
  *
  * @return Zero on success or negative error code.
@@ -396,4 +396,6 @@
 int udebug_task_cleanup(struct task *task)
 {
+	ASSERT(mutex_locked(&task->udebug.lock));
+
 	if ((task->udebug.dt_state != UDEBUG_TS_BEGINNING) &&
 	    (task->udebug.dt_state != UDEBUG_TS_ACTIVE)) {