Rev 3001 | Rev 3149 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3001 | Rev 3107 | ||
---|---|---|---|
Line 187... | Line 187... | ||
187 | ipc_phone_0 = &utask->answerbox; |
187 | ipc_phone_0 = &utask->answerbox; |
188 | } else if (rc == 0) { |
188 | } else if (rc == 0) { |
189 | /* It was the program loader and was registered */ |
189 | /* It was the program loader and was registered */ |
190 | } else { |
190 | } else { |
191 | /* RAM disk image */ |
191 | /* RAM disk image */ |
192 | int rd = init_rd((rd_header *) init.tasks[i].addr, |
192 | int rd = init_rd((rd_header_t *) init.tasks[i].addr, |
193 | init.tasks[i].size); |
193 | init.tasks[i].size); |
194 | 194 | ||
195 | if (rd != RE_OK) |
195 | if (rd != RE_OK) |
196 | printf("Init binary %zd not used, error code %d.\n", i, rd); |
196 | printf("Init binary %zd not used, error code %d.\n", i, rd); |
197 | } |
197 | } |