| 46,11 → 46,13 |
|---|
| #include <ddi/irq.h> |
| #include <arch/drivers/pic.h> |
| #include <macros.h> |
| #include <string.h> |
| |
| #define IRQ_COUNT 64 |
| |
| bootinfo_t bootinfo; |
| |
| /** Performs ppc32-specific initialization before main_bsp() is called. */ |
| void arch_pre_main(void) |
| { |
| init.cnt = bootinfo.taskmap.count; |
| 60,6 → 62,8 |
|---|
| for (i = 0; i < min3(bootinfo.taskmap.count, TASKMAP_MAX_RECORDS, CONFIG_INIT_TASKS); i++) { |
| init.tasks[i].addr = PA2KA(bootinfo.taskmap.tasks[i].addr); |
| init.tasks[i].size = bootinfo.taskmap.tasks[i].size; |
| strncpy(init.tasks[i].name, bootinfo.taskmap.tasks[i].name, |
| CONFIG_TASK_NAME_BUFLEN); |
| } |
| } |
| |