Changes in kernel/generic/src/synch/waitq.c [63e27ef:9fe9d296] in mainline

File:

• kernel/generic/src/synch/waitq.c (modified) (5 diffs)

kernel/generic/src/synch/waitq.c

@@ -44 +44 @@
  */
 
-#include <assert.h>
 #include <synch/waitq.h>
 #include <synch/spinlock.h>
@@ -204 +203 @@
                 irq_spinlock_lock(&thread->lock, false);
                 
-                assert(thread->sleep_interruptible);
+                ASSERT(thread->sleep_interruptible);
                 
                 if ((thread->timeout_pending) &&
@@ -265 +264 @@
 int waitq_sleep_timeout(waitq_t *wq, uint32_t usec, unsigned int flags)
 {
-        assert((!PREEMPTION_DISABLED) || (PARAM_NON_BLOCKING(flags, usec)));
+        ASSERT((!PREEMPTION_DISABLED) || (PARAM_NON_BLOCKING(flags, usec)));
         
         ipl_t ipl = waitq_sleep_prepare(wq);
@@ -497 +496 @@
 static void waitq_complete_wakeup(waitq_t *wq)
 {
-        assert(interrupts_disabled());
+        ASSERT(interrupts_disabled());
         
         irq_spinlock_lock(&wq->lock, false);
@@ -521 +520 @@
         size_t count = 0;
 
-        assert(interrupts_disabled());
-        assert(irq_spinlock_locked(&wq->lock));
+        ASSERT(interrupts_disabled());
+        ASSERT(irq_spinlock_locked(&wq->lock));
         
 loop: