Changeset 5d67baa in mainline for kernel/generic/src/main/main.c

Timestamp:

2008-06-30T20:33:18Z (17 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

939e9c1

Parents:

ac0e791

Message:

cstyle fixes

File:

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

kernel/generic/src/main/main.c

@@ -62 +62 @@
 #include <main/version.h>
 #include <console/kconsole.h>
+#include <console/console.h>
 #include <cpu.h>
 #include <align.h>
@@ -81 +82 @@
 #include <smp/smp.h>
 #include <ddi/ddi.h>
-#include <console/console.h>
+
 
 /** Global configuration structure. */
@@ -236 +237 @@
         LOG_EXEC(slab_enable_cpucache());
         
-        printf("Detected %" PRIc " CPU(s), %" PRIu64" MB free memory\n",
-                config.cpu_count, SIZE2MB(zone_total_size()));
+        printf("Detected %" PRIc " CPU(s), %" PRIu64" MiB free memory\n",
+            config.cpu_count, SIZE2MB(zone_total_size()));
         
         LOG_EXEC(cpu_init());
@@ -253 +254 @@
                 for (i = 0; i < init.cnt; i++)
                         printf("init[%" PRIc "].addr=%#" PRIp ", init[%" PRIc
-                            "].size=%#" PRIs "\n", i, init.tasks[i].addr,
-                            i, init.tasks[i].size);
+                            "].size=%#" PRIs "\n", i, init.tasks[i].addr, i,
+                            init.tasks[i].size);
         } else
                 printf("No init binaries found\n");