Changes in kernel/generic/src/main/kinit.c [b2fa1204:36df4109] in mainline

File:

• kernel/generic/src/main/kinit.c (modified) (4 diffs)

kernel/generic/src/main/kinit.c

@@ -79 +79 @@
 #include <synch/waitq.h>
 #include <synch/spinlock.h>
+#include <synch/workqueue.h>
+#include <synch/rcu.h>
 
 #define ALIVE_CHARS  4
@@ -105 +107 @@
          */
         thread_detach(THREAD);
-        
+
         interrupts_disable();
+        
+        /* Start processing RCU callbacks. RCU is fully functional afterwards. */
+        rcu_kinit_init();
+        
+        /*
+         * Start processing work queue items. Some may have been queued during boot.
+         */
+        workq_global_worker_init();
         
 #ifdef CONFIG_SMP
@@ -150 +160 @@
          * At this point SMP, if present, is configured.
          */
-        arch_post_smp_init();
+        ARCH_OP(post_smp_init);
         
         /* Start thread computing system load */
@@ -230 +240 @@
                         name = "<unknown>";
                 
-                ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN);
+                STATIC_ASSERT(TASK_NAME_BUFLEN >= INIT_PREFIX_LEN);
                 str_cpy(namebuf, TASK_NAME_BUFLEN, INIT_PREFIX);
                 str_cpy(namebuf + INIT_PREFIX_LEN,