Rev 1585 | Rev 1702 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1585 | Rev 1587 | ||
|---|---|---|---|
| Line 90... | Line 90... | ||
| 90 | 90 | ||
| 91 | #ifndef task_create_arch |
91 | #ifndef task_create_arch |
| 92 | extern void task_create_arch(task_t *t); |
92 | extern void task_create_arch(task_t *t); |
| 93 | #endif |
93 | #endif |
| 94 | 94 | ||
| - | 95 | #ifndef task_destroy_arch |
|
| - | 96 | extern void task_destroy_arch(task_t *t); |
|
| - | 97 | #endif |
|
| - | 98 | ||
| 95 | extern __native sys_task_get_id(task_id_t *uspace_task_id); |
99 | extern __native sys_task_get_id(task_id_t *uspace_task_id); |
| 96 | 100 | ||
| 97 | #endif |
101 | #endif |