Rev 2465 | Rev 3880 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2465 | Rev 2745 | ||
---|---|---|---|
Line 53... | Line 53... | ||
53 | bootinfo_t bootinfo; |
53 | bootinfo_t bootinfo; |
54 | 54 | ||
55 | /** Performs arm32 specific initialization before main_bsp() is called. */ |
55 | /** Performs arm32 specific initialization before main_bsp() is called. */ |
56 | void arch_pre_main(void) |
56 | void arch_pre_main(void) |
57 | { |
57 | { |
58 | int i; |
58 | unsigned int i; |
59 | 59 | ||
60 | init.cnt = bootinfo.cnt; |
60 | init.cnt = bootinfo.cnt; |
61 | 61 | ||
62 | for (i = 0; i < bootinfo.cnt; ++i) { |
62 | for (i = 0; i < bootinfo.cnt; ++i) { |
63 | init.tasks[i].addr = bootinfo.tasks[i].addr; |
63 | init.tasks[i].addr = bootinfo.tasks[i].addr; |