Changes in kernel/arch/arm32/src/arm32.c [4872160:82474ef] in mainline

File:

• kernel/arch/arm32/src/arm32.c (modified) (2 diffs)

kernel/arch/arm32/src/arm32.c

@@ -47 +47 @@
 #include <userspace.h>
 #include <macros.h>
-#include <str.h>
+#include <string.h>
 #include <arch/ras.h>
 
@@ -62 +62 @@
 void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo)
 {
-        init.cnt = min3(bootinfo->cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS);
+        unsigned int i;
         
-        size_t i;
-        for (i = 0; i < init.cnt; i++) {
-                init.tasks[i].addr = (uintptr_t) bootinfo->tasks[i].addr;
+        init.cnt = bootinfo->cnt;
+        
+        for (i = 0; i < min3(bootinfo->cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); ++i) {
+                init.tasks[i].addr = bootinfo->tasks[i].addr;
                 init.tasks[i].size = bootinfo->tasks[i].size;
                 str_cpy(init.tasks[i].name, CONFIG_TASK_NAME_BUFLEN,