Rev 3068 | Rev 3438 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3068 | Rev 3222 | ||
|---|---|---|---|
| Line 130... | Line 130... | ||
| 130 | #ifndef task_destroy_arch |
130 | #ifndef task_destroy_arch |
| 131 | extern void task_destroy_arch(task_t *t); |
131 | extern void task_destroy_arch(task_t *t); |
| 132 | #endif |
132 | #endif |
| 133 | 133 | ||
| 134 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
134 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
| 135 | extern unative_t sys_task_spawn(void *image, size_t size); |
- | |
| 136 | 135 | ||
| 137 | #endif |
136 | #endif |
| 138 | 137 | ||
| 139 | /** @} |
138 | /** @} |
| 140 | */ |
139 | */ |