Rev 3623 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3623 | Rev 4377 | ||
|---|---|---|---|
| Line 142... | Line 142... | ||
| 142 | #ifndef task_destroy_arch |
142 | #ifndef task_destroy_arch |
| 143 | extern void task_destroy_arch(task_t *t); |
143 | extern void task_destroy_arch(task_t *t); |
| 144 | #endif |
144 | #endif |
| 145 | 145 | ||
| 146 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
146 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
| - | 147 | extern unative_t sys_task_set_name(const char *uspace_name, size_t name_len); |
|
| 147 | 148 | ||
| 148 | #endif |
149 | #endif |
| 149 | 150 | ||
| 150 | /** @} |
151 | /** @} |
| 151 | */ |
152 | */ |