Changes in kernel/generic/src/proc/scheduler.c [aae365bc:a6e55886] in mainline

File:

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

kernel/generic/src/proc/scheduler.c

@@ -54 +54 @@
 #include <atomic.h>
 #include <synch/spinlock.h>
+#include <synch/workqueue.h>
+#include <synch/rcu.h>
 #include <config.h>
 #include <context.h>
@@ -88 +90 @@
 {
         before_thread_runs_arch();
+        rcu_before_thread_runs();
 
 #ifdef CONFIG_FPU_LAZY
@@ -128 +131 @@
 static void after_thread_ran(void)
 {
+        workq_after_thread_ran();
+        rcu_after_thread_ran();
         after_thread_ran_arch();
 }
@@ -425 +430 @@
 
                 case Exiting:
+                        rcu_thread_exiting();
                 repeat:
                         if (THREAD->detached) {