Changes in kernel/generic/src/proc/scheduler.c [1558d85:63e27ef] in mainline

File:

• kernel/generic/src/proc/scheduler.c (modified) (6 diffs)

kernel/generic/src/proc/scheduler.c

@@ -39 +39 @@
  */
 
+#include <assert.h>
 #include <proc/scheduler.h>
 #include <proc/thread.h>
@@ -64 +65 @@
 #include <print.h>
 #include <log.h>
-#include <debug.h>
 #include <stacktrace.h>
 
@@ -200 +200 @@
 static thread_t *find_best_thread(void)
 {
-        ASSERT(CPU != NULL);
+        assert(CPU != NULL);
         
 loop:
@@ -225 +225 @@
         }
 
-        ASSERT(!CPU->idle);
+        assert(!CPU->idle);
         
         unsigned int i;
@@ -322 +322 @@
         volatile ipl_t ipl;
         
-        ASSERT(CPU != NULL);
+        assert(CPU != NULL);
         
         ipl = interrupts_disable();
@@ -403 +403 @@
         as_t *old_as = AS;
         
-        ASSERT((!THREAD) || (irq_spinlock_locked(&THREAD->lock)));
-        ASSERT(CPU != NULL);
-        ASSERT(interrupts_disabled());
+        assert((!THREAD) || (irq_spinlock_locked(&THREAD->lock)));
+        assert(CPU != NULL);
+        assert(interrupts_disabled());
         
         /*