Changes in kernel/generic/src/main/kinit.c [9dae191e:da1bafb] 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
         
         /*
@@ -117 +115 @@
                 thread = thread_create(kmp, NULL, TASK, THREAD_FLAG_WIRED, "kmp", true);
                 if (thread != NULL) {
-                        spinlock_lock(&thread->lock);
+                        irq_spinlock_lock(&thread->lock, false);
                         thread->cpu = &cpus[0];
-                        spinlock_unlock(&thread->lock);
+                        irq_spinlock_unlock(&thread->lock, false);
                         thread_ready(thread);
                 } else
@@ -137 +135 @@
                         thread = thread_create(kcpulb, NULL, TASK, THREAD_FLAG_WIRED, "kcpulb", true);
                         if (thread != NULL) {
-                                spinlock_lock(&thread->lock);
+                                irq_spinlock_lock(&thread->lock, false);
                                 thread->cpu = &cpus[i];
-                                spinlock_unlock(&thread->lock);
+                                irq_spinlock_unlock(&thread->lock, false);
                                 thread_ready(thread);
                         } else
@@ -201 +199 @@
                 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]);
@@ -224 +222 @@
                 }
         }
-
+        
         /*
          * Run user tasks.
@@ -232 +230 @@
                         program_ready(&programs[i]);
         }
-
+        
 #ifdef CONFIG_KCONSOLE
         if (!stdin) {