Rev 1327 | Rev 1371 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1327 | Rev 1370 | ||
|---|---|---|---|
| Line 38... | Line 38... | ||
| 38 | bootinfo_t bootinfo; |
38 | bootinfo_t bootinfo; |
| 39 | 39 | ||
| 40 | void arch_pre_main(void) |
40 | void arch_pre_main(void) |
| 41 | { |
41 | { |
| 42 | /* Setup usermode */ |
42 | /* Setup usermode */ |
| - | 43 | init.cnt = bootinfo.taskmap.count; |
|
| - | 44 | ||
| 43 | init.cnt = 1; |
45 | __u32 i; |
| - | 46 | ||
| - | 47 | for (i = 0; i < bootinfo.taskmap.count; i++) { |
|
| 44 | init.tasks[0].addr = PA2KA(bootinfo.init.addr); |
48 | init.tasks[i].addr = PA2KA(bootinfo.taskmap.tasks[i].addr); |
| 45 | init.tasks[0].size = bootinfo.init.size; |
49 | init.tasks[i].size = bootinfo.taskmap.tasks[i].size; |
| - | 50 | } |
|
| 46 | } |
51 | } |
| 47 | 52 | ||
| 48 | void arch_pre_mm_init(void) |
53 | void arch_pre_mm_init(void) |
| 49 | { |
54 | { |
| 50 | /* Initialize dispatch table */ |
55 | /* Initialize dispatch table */ |