Rev 3149 | Rev 3203 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3149 | Rev 3190 | ||
|---|---|---|---|
| Line 138... | Line 138... | ||
| 138 | extern void task_destroy_arch(task_t *t); |
138 | extern void task_destroy_arch(task_t *t); |
| 139 | #endif |
139 | #endif |
| 140 | 140 | ||
| 141 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
141 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
| 142 | extern unative_t sys_task_spawn_loader(int *uspace_phone_id); |
142 | extern unative_t sys_task_spawn_loader(int *uspace_phone_id); |
| 143 | extern unative_t sys_task_spawn(void *image, size_t size); |
- | |
| 144 | 143 | ||
| 145 | #endif |
144 | #endif |
| 146 | 145 | ||
| 147 | /** @} |
146 | /** @} |
| 148 | */ |
147 | */ |