Rev 1920 | Rev 2043 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1920 | Rev 1982 | ||
---|---|---|---|
Line 56... | Line 56... | ||
56 | init.cnt = bootinfo.taskmap.count; |
56 | init.cnt = bootinfo.taskmap.count; |
57 | 57 | ||
58 | uint32_t i; |
58 | uint32_t i; |
59 | 59 | ||
60 | for (i = 0; i < bootinfo.taskmap.count; i++) { |
60 | for (i = 0; i < bootinfo.taskmap.count; i++) { |
61 | init.tasks[i].addr = PA2KA(bootinfo.taskmap.tasks[i].addr); |
61 | init.tasks[i].addr = (uintptr_t) bootinfo.taskmap.tasks[i].addr; |
62 | init.tasks[i].size = bootinfo.taskmap.tasks[i].size; |
62 | init.tasks[i].size = bootinfo.taskmap.tasks[i].size; |
63 | } |
63 | } |
64 | 64 | ||
65 | /* Copy boot allocations info. */ |
65 | /* Copy boot allocations info. */ |
66 | ballocs.base = bootinfo.ballocs.base; |
66 | ballocs.base = bootinfo.ballocs.base; |