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; |