Rev 3957 | Rev 4030 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3957 | Rev 4023 | ||
|---|---|---|---|
| Line 49... | Line 49... | ||
| 49 | 49 | ||
| 50 | #define IRQ_COUNT 64 |
50 | #define IRQ_COUNT 64 |
| 51 | 51 | ||
| 52 | bootinfo_t bootinfo; |
52 | bootinfo_t bootinfo; |
| 53 | 53 | ||
| - | 54 | /** Performs ppc32-specific initialization before main_bsp() is called. */ |
|
| 54 | void arch_pre_main(void) |
55 | void arch_pre_main(void) |
| 55 | { |
56 | { |
| 56 | init.cnt = bootinfo.taskmap.count; |
57 | init.cnt = bootinfo.taskmap.count; |
| 57 | 58 | ||
| 58 | uint32_t i; |
59 | uint32_t i; |