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

File:

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

kernel/generic/src/main/kinit.c

@@ -59 +59 @@
 #include <mm/km.h>
 #include <print.h>
+#include <log.h>
 #include <memstr.h>
 #include <console/console.h>
@@ -78 +79 @@
 #include <synch/waitq.h>
 #include <synch/spinlock.h>
+#include <synch/workqueue.h>
+#include <synch/rcu.h>
 
 #define ALIVE_CHARS  4
@@ -104 +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
@@ -140 +151 @@
                                 thread_ready(thread);
                         } else
-                                printf("Unable to create kcpulb thread for cpu%u\n", i);
+                                log(LF_OTHER, LVL_ERROR,
+                                    "Unable to create kcpulb thread for cpu%u", i);
                 }
         }
@@ -148 +160 @@
          * At this point SMP, if present, is configured.
          */
-        arch_post_smp_init();
+        ARCH_OP(post_smp_init);
         
         /* Start thread computing system load */
@@ -156 +168 @@
                 thread_ready(thread);
         else
-                printf("Unable to create kload thread\n");
+                log(LF_OTHER, LVL_ERROR, "Unable to create kload thread");
         
 #ifdef CONFIG_KCONSOLE
@@ -168 +180 @@
                         thread_ready(thread);
                 else
-                        printf("Unable to create kconsole thread\n");
+                        log(LF_OTHER, LVL_ERROR,
+                            "Unable to create kconsole thread");
         }
 #endif /* CONFIG_KCONSOLE */
@@ -210 +223 @@
         for (i = 0; i < init.cnt; i++) {
                 if (init.tasks[i].paddr % FRAME_SIZE) {
-                        printf("init[%zu]: Address is not frame aligned\n", i);
+                        log(LF_OTHER, LVL_ERROR,
+                            "init[%zu]: Address is not frame aligned", i);
                         programs[i].task = NULL;
                         continue;
@@ -226 +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,
@@ -273 +287 @@
                         init_rd((void *) init.tasks[i].paddr, init.tasks[i].size);
                 } else
-                        printf("init[%zu]: Init binary load failed "
-                            "(error %d, loader status %u)\n", i, rc,
+                        log(LF_OTHER, LVL_ERROR,
+                            "init[%zu]: Init binary load failed "
+                            "(error %d, loader status %u)", i, rc,
                             programs[i].loader_status);
         }