Changeset 2f57690 in mainline for kernel/generic/src/main/kinit.c

Timestamp:

2009-03-03T12:41:39Z (15 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

deca67b

Parents:

561db3f

Message:

cstyle

File:

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

kernel/generic/src/main/kinit.c

@@ -33 +33 @@
 /**
  * @file
- * @brief       Kernel initialization thread.
+ * @brief Kernel initialization thread.
  *
  * This file contains kinit kernel thread which carries out
@@ -81 +81 @@
 #endif
 
-#define BOOT_PREFIX             "boot:"
-#define BOOT_PREFIX_LEN         5
+#define BOOT_PREFIX      "boot:"
+#define BOOT_PREFIX_LEN  5
 
 /** Kernel initialization thread.
@@ -98 +98 @@
         thread_t *thread;
 #endif
-
+        
         /*
          * Detach kinit as nobody will call thread_join_timeout() on it.
          */
         thread_detach(THREAD);
-
+        
         interrupts_disable();
-
-#ifdef CONFIG_SMP                       
+        
+#ifdef CONFIG_SMP
         if (config.cpu_count > 1) {
                 waitq_initialize(&ap_completion_wq);
@@ -126 +126 @@
                 thread_detach(thread);
         }
-#endif /* CONFIG_SMP */
-        
-#ifdef CONFIG_SMP
+        
         if (config.cpu_count > 1) {
                 count_t i;
@@ -144 +142 @@
                         } else
                                 printf("Unable to create kcpulb thread for cpu" PRIc "\n", i);
-
                 }
         }
@@ -153 +150 @@
          */
         arch_post_smp_init();
-
+        
 #ifdef CONFIG_KCONSOLE
         if (stdin) {
@@ -180 +177 @@
                         continue;
                 }
-
+                
                 /*
                  * Construct task name from the 'boot:' prefix and the
                  * name stored in the init structure (if any).
                  */
-
-                char namebuf[TASK_NAME_BUFLEN], *name;
-
+                
+                char namebuf[TASK_NAME_BUFLEN];
+                char *name;
+                
                 name = init.tasks[i].name;
-                if (name[0] == '\0') name = "<unknown>";
-
+                if (name[0] == '\0')
+                        name = "<unknown>";
+                
                 ASSERT(TASK_NAME_BUFLEN >= BOOT_PREFIX_LEN);
                 strncpy(namebuf, BOOT_PREFIX, TASK_NAME_BUFLEN);
@@ -234 +233 @@
                 }
         }
-
+        
 #ifdef CONFIG_KCONSOLE
         if (!stdin) {