Changes in kernel/generic/src/synch/mutex.c [a3900cc:08a19ba] in mainline

File:

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

kernel/generic/src/synch/mutex.c

@@ -40 +40 @@
 #include <synch/synch.h>
 #include <debug.h>
-#include <arch.h>
 
 /** Initialize mutex.
@@ -70 +69 @@
         int rc;
 
-        if (mtx->type == MUTEX_PASSIVE && THREAD) {
+        if (mtx->type == MUTEX_PASSIVE) {
                 rc = _semaphore_down_timeout(&mtx->sem, usec, flags);
         } else {
-                ASSERT(mtx->type == MUTEX_ACTIVE || !THREAD);
+                ASSERT(mtx->type == MUTEX_ACTIVE);
                 ASSERT(usec == SYNCH_NO_TIMEOUT);
                 ASSERT(!(flags & SYNCH_FLAGS_INTERRUPTIBLE));