| 54,7 → 54,7 |
|---|
| { |
| int phone_id, rc; |
| |
| rc = __SYSCALL1(SYS_TASK_SPAWN, (sysarg_t) &phone_id); |
| rc = __SYSCALL1(SYS_TASK_SPAWN_LOADER, (sysarg_t) &phone_id); |
| if (rc != 0) |
| return rc; |
| |
| 67,7 → 67,7 |
|---|
| * @param argv command-line arguments |
| * @return ID of the newly created task or zero on error. |
| */ |
| task_id_t task_spawn(const char *path, const char *argv[]) |
| task_id_t task_spawn_ex(const char *path, const char *argv[]) |
| { |
| int phone_id; |
| ipc_call_t answer; |
| 105,5 → 105,10 |
|---|
| return 1; |
| } |
| |
| int task_spawn(void *image, size_t size) |
| { |
| return __SYSCALL2(SYS_TASK_SPAWN, (sysarg_t) image, (sysarg_t) size); |
| } |
| |
| /** @} |
| */ |