Rev 4153 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4153 | Rev 4263 | ||
---|---|---|---|
Line 59... | Line 59... | ||
59 | uint32_t i; |
59 | uint32_t i; |
60 | 60 | ||
61 | for (i = 0; i < min3(bootinfo.taskmap.count, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); i++) { |
61 | for (i = 0; i < min3(bootinfo.taskmap.count, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); i++) { |
62 | init.tasks[i].addr = PA2KA(bootinfo.taskmap.tasks[i].addr); |
62 | init.tasks[i].addr = PA2KA(bootinfo.taskmap.tasks[i].addr); |
63 | init.tasks[i].size = bootinfo.taskmap.tasks[i].size; |
63 | init.tasks[i].size = bootinfo.taskmap.tasks[i].size; |
64 | strncpy(init.tasks[i].name, bootinfo.taskmap.tasks[i].name, |
64 | str_ncpy(init.tasks[i].name, bootinfo.taskmap.tasks[i].name, |
65 | CONFIG_TASK_NAME_BUFLEN); |
65 | CONFIG_TASK_NAME_BUFLEN); |
66 | } |
66 | } |
67 | } |
67 | } |
68 | 68 | ||
69 | void arch_pre_mm_init(void) |
69 | void arch_pre_mm_init(void) |