Rev 3817 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3817 | Rev 4065 | ||
---|---|---|---|
Line 61... | Line 61... | ||
61 | uint32_t i; |
61 | uint32_t i; |
62 | 62 | ||
63 | for (i = 0; i < bootinfo.taskmap.count; i++) { |
63 | for (i = 0; i < bootinfo.taskmap.count; i++) { |
64 | init.tasks[i].addr = (uintptr_t) bootinfo.taskmap.tasks[i].addr; |
64 | init.tasks[i].addr = (uintptr_t) bootinfo.taskmap.tasks[i].addr; |
65 | init.tasks[i].size = bootinfo.taskmap.tasks[i].size; |
65 | init.tasks[i].size = bootinfo.taskmap.tasks[i].size; |
66 | printf("Task %d starts at %x and its size id %d.\n", i, init.tasks[i].addr, init.tasks[i].size); |
- | |
67 | } |
66 | } |
68 | - | ||
69 | md_init(); |
67 | md_init(); |
70 | } |
68 | } |
71 | 69 | ||
72 | /** Perform sparc64 specific initialization before mm is initialized. */ |
70 | /** Perform sparc64 specific initialization before mm is initialized. */ |
73 | void arch_pre_mm_init(void) |
71 | void arch_pre_mm_init(void) |