Changeset 1d432f9 in mainline for kernel/generic/src/udebug/udebug.c

Timestamp:

2010-05-31T22:33:44Z (15 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

179d052

Parents:

3a2b636

Message:

Reflect assumptions about lock and interrupt state in functions themselves.

File:

• kernel/generic/src/udebug/udebug.c (modified) (2 diffs)

kernel/generic/src/udebug/udebug.c

@@ -389 +389 @@
  * 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 +396 @@
 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)) {