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

File:

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

kernel/generic/src/proc/scheduler.c

@@ -52 +52 @@
 #include <atomic.h>
 #include <synch/spinlock.h>
-#include <synch/workqueue.h>
-#include <synch/rcu.h>
 #include <config.h>
 #include <context.h>
@@ -89 +87 @@
 {
         before_thread_runs_arch();
-        rcu_before_thread_runs();
         
 #ifdef CONFIG_FPU_LAZY
@@ -130 +127 @@
 static void after_thread_ran(void)
 {
-        workq_after_thread_ran();
-        rcu_after_thread_ran();
         after_thread_ran_arch();
 }
@@ -224 +219 @@
                 goto loop;
         }
-
-        ASSERT(!CPU->idle);
         
         unsigned int i;
@@ -405 +398 @@
         ASSERT((!THREAD) || (irq_spinlock_locked(&THREAD->lock)));
         ASSERT(CPU != NULL);
-        ASSERT(interrupts_disabled());
         
         /*
@@ -429 +421 @@
                 
                 case Exiting:
-                        rcu_thread_exiting();
 repeat:
                         if (THREAD->detached) {