Changeset 63e27ef in mainline for kernel/generic/src/proc/scheduler.c

Timestamp:

2017-06-19T21:47:42Z (7 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

deacc58d

Parents:

7354b5e

Message:

ASSERT → assert

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());
         
         /*