Changes in kernel/generic/src/proc/scheduler.c [2d3ddad:d0c82c5] in mainline

File:

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

kernel/generic/src/proc/scheduler.c

@@ -193 +193 @@
                  * This improves energy saving and hyperthreading.
                  */
-                
-                 /* Mark CPU as it was idle this clock tick */
                 irq_spinlock_lock(&CPU->lock, false);
                 CPU->idle = true;
                 irq_spinlock_unlock(&CPU->lock, false);
-                
                 interrupts_enable();
+                
                 /*
                  * An interrupt might occur right now and wake up a thread.
@@ -386 +384 @@
         as_t *old_as = AS;
         
-        ASSERT(!THREAD || irq_spinlock_locked(&THREAD->lock));
+        ASSERT((!THREAD) || (irq_spinlock_locked(&THREAD->lock)));
         ASSERT(CPU != NULL);