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); |
} |
|
/** @} |
*/ |