Changes in kernel/generic/src/main/kinit.c [da1bafb:9dae191e] in mainline

File:

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

kernel/generic/src/main/kinit.c

@@ -95 +95 @@
 void kinit(void *arg)
 {
+#if defined(CONFIG_SMP) || defined(CONFIG_KCONSOLE)
         thread_t *thread;
+#endif
         
         /*
@@ -115 +117 @@
                 thread = thread_create(kmp, NULL, TASK, THREAD_FLAG_WIRED, "kmp", true);
                 if (thread != NULL) {
-                        irq_spinlock_lock(&thread->lock, false);
+                        spinlock_lock(&thread->lock);
                         thread->cpu = &cpus[0];
-                        irq_spinlock_unlock(&thread->lock, false);
+                        spinlock_unlock(&thread->lock);
                         thread_ready(thread);
                 } else
@@ -135 +137 @@
                         thread = thread_create(kcpulb, NULL, TASK, THREAD_FLAG_WIRED, "kcpulb", true);
                         if (thread != NULL) {
-                                irq_spinlock_lock(&thread->lock, false);
+                                spinlock_lock(&thread->lock);
                                 thread->cpu = &cpus[i];
-                                irq_spinlock_unlock(&thread->lock, false);
+                                spinlock_unlock(&thread->lock);
                                 thread_ready(thread);
                         } else
@@ -199 +201 @@
                 str_cpy(namebuf + INIT_PREFIX_LEN,
                     TASK_NAME_BUFLEN - INIT_PREFIX_LEN, name);
-                
+
                 int rc = program_create_from_image((void *) init.tasks[i].addr,
                     namebuf, &programs[i]);
@@ -222 +224 @@
                 }
         }
-        
+
         /*
          * Run user tasks.
@@ -230 +232 @@
                         program_ready(&programs[i]);
         }
-        
+
 #ifdef CONFIG_KCONSOLE
         if (!stdin) {