Rev 4023 | Rev 4046 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4023 | Rev 4029 | ||
|---|---|---|---|
| Line 52... | Line 52... | ||
| 52 | #include <arch/debugger.h> |
52 | #include <arch/debugger.h> |
| 53 | #include <genarch/fb/fb.h> |
53 | #include <genarch/fb/fb.h> |
| 54 | #include <genarch/fb/visuals.h> |
54 | #include <genarch/fb/visuals.h> |
| 55 | #include <macros.h> |
55 | #include <macros.h> |
| 56 | #include <ddi/device.h> |
56 | #include <ddi/device.h> |
| - | 57 | #include <config.h> |
|
| - | 58 | #include <string.h> |
|
| 57 | 59 | ||
| 58 | #include <arch/asm/regname.h> |
60 | #include <arch/asm/regname.h> |
| 59 | 61 | ||
| 60 | /* Size of the code jumping to the exception handler code |
62 | /* Size of the code jumping to the exception handler code |
| 61 | * - J+NOP |
63 | * - J+NOP |
| Line 84... | Line 86... | ||
| 84 | 86 | ||
| 85 | count_t i; |
87 | count_t i; |
| 86 | for (i = 0; i < min3(bootinfo->cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); i++) { |
88 | for (i = 0; i < min3(bootinfo->cnt, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); i++) { |
| 87 | init.tasks[i].addr = bootinfo->tasks[i].addr; |
89 | init.tasks[i].addr = bootinfo->tasks[i].addr; |
| 88 | init.tasks[i].size = bootinfo->tasks[i].size; |
90 | init.tasks[i].size = bootinfo->tasks[i].size; |
| - | 91 | strncpy(init.tasks[i].name, bootinfo->tasks[i].name, |
|
| - | 92 | CONFIG_TASK_NAME_BUFLEN); |
|
| 89 | } |
93 | } |
| 90 | 94 | ||
| 91 | for (i = 0; i < CPUMAP_MAX_RECORDS; i++) { |
95 | for (i = 0; i < CPUMAP_MAX_RECORDS; i++) { |
| 92 | if ((bootinfo->cpumap & (1 << i)) != 0) |
96 | if ((bootinfo->cpumap & (1 << i)) != 0) |
| 93 | cpu_count++; |
97 | cpu_count++; |