Changes in kernel/generic/src/synch/mutex.c [1066041:63e27ef] in mainline

File:

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

kernel/generic/src/synch/mutex.c

@@ -36 +36 @@
  */
 
+#include <assert.h>
 #include <synch/mutex.h>
 #include <synch/semaphore.h>
-#include <debug.h>
 #include <arch.h>
 #include <stacktrace.h>
@@ -88 +88 @@
                 rc = _semaphore_down_timeout(&mtx->sem, usec, flags);
         } else {
-                ASSERT((mtx->type == MUTEX_ACTIVE) || (!THREAD));
-                ASSERT(usec == SYNCH_NO_TIMEOUT);
-                ASSERT(!(flags & SYNCH_FLAGS_INTERRUPTIBLE));
+                assert((mtx->type == MUTEX_ACTIVE) || (!THREAD));
+                assert(usec == SYNCH_NO_TIMEOUT);
+                assert(!(flags & SYNCH_FLAGS_INTERRUPTIBLE));
                 
                 unsigned int cnt = 0;