Rev 4344 | Rev 4346 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 4344 | Rev 4345 | ||
|---|---|---|---|
| Line 44... | Line 44... | ||
| 44 | #include <console/console.h> |
44 | #include <console/console.h> |
| 45 | #include <ddi/device.h> |
45 | #include <ddi/device.h> |
| 46 | #include <ddi/irq.h> |
46 | #include <ddi/irq.h> |
| 47 | #include <arch/drivers/pic.h> |
47 | #include <arch/drivers/pic.h> |
| 48 | #include <macros.h> |
48 | #include <macros.h> |
| - | 49 | #include <string.h> |
|
| 49 | 50 | ||
| 50 | #define IRQ_COUNT 64 |
51 | #define IRQ_COUNT 64 |
| 51 | 52 | ||
| 52 | bootinfo_t bootinfo; |
53 | bootinfo_t bootinfo; |
| 53 | 54 | ||
| - | 55 | /** Performs ppc32-specific initialization before main_bsp() is called. */ |
|
| 54 | void arch_pre_main(void) |
56 | void arch_pre_main(void) |
| 55 | { |
57 | { |
| 56 | init.cnt = bootinfo.taskmap.count; |
58 | init.cnt = bootinfo.taskmap.count; |
| 57 | 59 | ||
| 58 | uint32_t i; |
60 | uint32_t i; |
| 59 | 61 | ||
| 60 | for (i = 0; i < min3(bootinfo.taskmap.count, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); i++) { |
62 | for (i = 0; i < min3(bootinfo.taskmap.count, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); i++) { |
| 61 | init.tasks[i].addr = PA2KA(bootinfo.taskmap.tasks[i].addr); |
63 | init.tasks[i].addr = PA2KA(bootinfo.taskmap.tasks[i].addr); |
| 62 | init.tasks[i].size = bootinfo.taskmap.tasks[i].size; |
64 | init.tasks[i].size = bootinfo.taskmap.tasks[i].size; |
| - | 65 | strncpy(init.tasks[i].name, bootinfo.taskmap.tasks[i].name, |
|
| - | 66 | CONFIG_TASK_NAME_BUFLEN); |
|
| 63 | } |
67 | } |
| 64 | } |
68 | } |
| 65 | 69 | ||
| 66 | void arch_pre_mm_init(void) |
70 | void arch_pre_mm_init(void) |
| 67 | { |
71 | { |