Rev 2787 | Rev 3425 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2787 | Rev 3042 | ||
|---|---|---|---|
| Line 176... | Line 176... | ||
| 176 | CAP_IO_MANAGER | CAP_PREEMPT_CONTROL | CAP_IRQ_REG); |
176 | CAP_IO_MANAGER | CAP_PREEMPT_CONTROL | CAP_IRQ_REG); |
| 177 | 177 | ||
| 178 | if (!ipc_phone_0) |
178 | if (!ipc_phone_0) |
| 179 | ipc_phone_0 = &utask->answerbox; |
179 | ipc_phone_0 = &utask->answerbox; |
| 180 | } else { |
180 | } else { |
| 181 | int rd = init_rd((rd_header *) init.tasks[i].addr, |
181 | int rd = init_rd((rd_header_t *) init.tasks[i].addr, |
| 182 | init.tasks[i].size); |
182 | init.tasks[i].size); |
| 183 | 183 | ||
| 184 | if (rd != RE_OK) |
184 | if (rd != RE_OK) |
| 185 | printf("Init binary %zd not used, error code %d.\n", i, rd); |
185 | printf("Init binary %zd not used, error code %d.\n", i, rd); |
| 186 | } |
186 | } |