Rev 4023 | Rev 4045 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4023 | Rev 4027 | ||
---|---|---|---|
Line 46... | Line 46... | ||
46 | #include <interrupt.h> |
46 | #include <interrupt.h> |
47 | #include <arch/regutils.h> |
47 | #include <arch/regutils.h> |
48 | #include <arch/machine.h> |
48 | #include <arch/machine.h> |
49 | #include <userspace.h> |
49 | #include <userspace.h> |
50 | #include <macros.h> |
50 | #include <macros.h> |
- | 51 | #include <string.h> |
|
51 | 52 | ||
52 | /** Performs arm32-specific initialization before main_bsp() is called. */ |
53 | /** Performs arm32-specific initialization before main_bsp() is called. */ |
53 | void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
54 | void arch_pre_main(void *entry __attribute__((unused)), bootinfo_t *bootinfo) |
54 | { |
55 | { |
55 | unsigned int i; |
56 | unsigned int i; |
Line 57... | Line 58... | ||
57 | init.cnt = bootinfo->cnt; |
58 | init.cnt = bootinfo->cnt; |
58 | 59 | ||
59 | for (i = 0; i < min3(bootinfo->cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); ++i) { |
60 | for (i = 0; i < min3(bootinfo->cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); ++i) { |
60 | init.tasks[i].addr = bootinfo->tasks[i].addr; |
61 | init.tasks[i].addr = bootinfo->tasks[i].addr; |
61 | init.tasks[i].size = bootinfo->tasks[i].size; |
62 | init.tasks[i].size = bootinfo->tasks[i].size; |
- | 63 | strncpy(init.tasks[i].name, bootinfo->tasks[i].name, |
|
- | 64 | CONFIG_TASK_NAME_BUFLEN); |
|
62 | } |
65 | } |
63 | } |
66 | } |
64 | 67 | ||
65 | /** Performs arm32 specific initialization before mm is initialized. */ |
68 | /** Performs arm32 specific initialization before mm is initialized. */ |
66 | void arch_pre_mm_init(void) |
69 | void arch_pre_mm_init(void) |