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 3424 | ||
---|---|---|---|
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 | */ |