Changes in kernel/generic/src/udebug/udebug.c [63e27ef:feeac0d] in mainline

File:

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

kernel/generic/src/udebug/udebug.c

@@ -38 +38 @@
  */
 
-#include <assert.h>
+#include <synch/waitq.h>
 #include <debug.h>
-#include <synch/waitq.h>
 #include <udebug/udebug.h>
 #include <errno.h>
 #include <print.h>
 #include <arch.h>
-#include <proc/task.h>
-#include <proc/thread.h>
 
 /** Initialize udebug part of task structure.
@@ -117 +114 @@
 void udebug_stoppable_begin(void)
 {
-        assert(THREAD);
-        assert(TASK);
+        ASSERT(THREAD);
+        ASSERT(TASK);
         
         mutex_lock(&TASK->udebug.lock);
@@ -126 +123 @@
         /* Lock order OK, THREAD->udebug.lock is after TASK->udebug.lock */
         mutex_lock(&THREAD->udebug.lock);
-        assert(THREAD->udebug.stoppable == false);
+        ASSERT(THREAD->udebug.stoppable == false);
         THREAD->udebug.stoppable = true;
         
@@ -137 +134 @@
                 
                 call_t *db_call = TASK->udebug.begin_call;
-                assert(db_call);
+                ASSERT(db_call);
                 
                 TASK->udebug.dt_state = UDEBUG_TS_ACTIVE;
@@ -159 +156 @@
                         call_t *go_call = THREAD->udebug.go_call;
                         THREAD->udebug.go_call = NULL;
-                        assert(go_call);
+                        ASSERT(go_call);
                         
                         IPC_SET_RETVAL(go_call->data, 0);
@@ -196 +193 @@
         } else {
                 ++TASK->udebug.not_stoppable_count;
-                assert(THREAD->udebug.stoppable == true);
+                ASSERT(THREAD->udebug.stoppable == true);
                 THREAD->udebug.stoppable = false;
                 
@@ -399 +396 @@
 int udebug_task_cleanup(struct task *task)
 {
-        assert(mutex_locked(&task->udebug.lock));
+        ASSERT(mutex_locked(&task->udebug.lock));
 
         if ((task->udebug.dt_state != UDEBUG_TS_BEGINNING) &&