Changes in kernel/generic/src/proc/scheduler.c [d0c82c5:2d3ddad] 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.
@@ -384 +386 @@
         as_t *old_as = AS;
         
-        ASSERT((!THREAD) || (irq_spinlock_locked(&THREAD->lock)));
+        ASSERT(!THREAD || irq_spinlock_locked(&THREAD->lock));
         ASSERT(CPU != NULL);