Changes in kernel/generic/src/synch/mutex.c [63e27ef:1066041] 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;