Changes in kernel/generic/src/main/kinit.c [7e752b2:2fa10f6] in mainline

File:

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

kernel/generic/src/main/kinit.c

@@ -129 +129 @@
                  * For each CPU, create its load balancing thread.
                  */
-                unsigned int i;
+                size_t i;
                 
                 for (i = 0; i < config.cpu_count; i++) {
@@ -139 +139 @@
                                 thread_ready(thread);
                         } else
-                                printf("Unable to create kcpulb thread for cpu%u\n", i);
+                                printf("Unable to create kcpulb thread for cpu" PRIs "\n", i);
                 }
         }
@@ -179 +179 @@
         for (i = 0; i < init.cnt; i++) {
                 if (init.tasks[i].addr % FRAME_SIZE) {
-                        printf("init[%zu].addr is not frame aligned\n", i);
+                        printf("init[%" PRIs "].addr is not frame aligned\n", i);
                         programs[i].task = NULL;
                         continue;
@@ -219 +219 @@
                         
                         if (rd != RE_OK)
-                                printf("Init binary %zu not used (error %d)\n", i, rd);
+                                printf("Init binary %" PRIs " not used (error %d)\n", i, rd);
                 }
         }