Rev 2479 | Rev 3222 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2479 | Rev 3073 | ||
|---|---|---|---|
| Line 42... | Line 42... | ||
| 42 | (void) __SYSCALL1(SYS_TASK_GET_ID, (sysarg_t) &task_id); |
42 | (void) __SYSCALL1(SYS_TASK_GET_ID, (sysarg_t) &task_id); |
| 43 | 43 | ||
| 44 | return task_id; |
44 | return task_id; |
| 45 | } |
45 | } |
| 46 | 46 | ||
| - | 47 | int task_spawn(void *image, size_t size) |
|
| - | 48 | { |
|
| - | 49 | return __SYSCALL2(SYS_TASK_SPAWN, (sysarg_t) image, (sysarg_t) size); |
|
| - | 50 | } |
|
| - | 51 | ||
| 47 | /** @} |
52 | /** @} |
| 48 | */ |
53 | */ |