Changes in kernel/generic/src/cpu/cpu.c [128359eb:aafed15] in mainline

File:

• kernel/generic/src/cpu/cpu.c (modified) (1 diff)

kernel/generic/src/cpu/cpu.c

@@ -71 +71 @@
                 memsetb(cpus, sizeof(cpu_t) * config.cpu_count, 0);
 
-                /*
-                 * NOTE: All kernel stacks must be aligned to STACK_SIZE,
-                 *       see CURRENT.
-                 */
-                for (size_t i = 0; i < config.cpu_count; i++) {
+                // NOTE: All kernel stacks must be aligned to STACK_SIZE,
+                //       see get_stack_base().
+                size_t i;
+                for (i = 0; i < config.cpu_count; i++) {
                         uintptr_t stack_phys = frame_alloc(STACK_FRAMES,
                             FRAME_LOWMEM | FRAME_ATOMIC, STACK_SIZE - 1);