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 | } |