Rev 3424 | Rev 3431 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3424 | Rev 3425 | ||
|---|---|---|---|
| Line 143... | Line 143... | ||
| 143 | #ifndef task_destroy_arch |
143 | #ifndef task_destroy_arch |
| 144 | extern void task_destroy_arch(task_t *t); |
144 | extern void task_destroy_arch(task_t *t); |
| 145 | #endif |
145 | #endif |
| 146 | 146 | ||
| 147 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
147 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
| 148 | extern unative_t sys_task_spawn(void *image, size_t size); |
- | |
| 149 | 148 | ||
| 150 | #endif |
149 | #endif |
| 151 | 150 | ||
| 152 | /** @} |
151 | /** @} |
| 153 | */ |
152 | */ |