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

File:

• kernel/generic/src/proc/scheduler.c (modified) (3 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);
         
@@ -457 +455 @@
                         irq_spinlock_unlock(&THREAD->sleep_queue->lock, false);
                         
-                        /*
-                         * Check for possible requests for out-of-context
-                         * invocation.
-                         *
-                         */
-                        if (THREAD->call_me) {
-                                THREAD->call_me(THREAD->call_me_with);
-                                THREAD->call_me = NULL;
-                                THREAD->call_me_with = NULL;
-                        }
-                        
                         irq_spinlock_unlock(&THREAD->lock, false);
-                        
                         break;