Rev 1187 | Rev 1235 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1187 | Rev 1227 | ||
|---|---|---|---|
| Line 65... | Line 65... | ||
| 65 | 65 | ||
| 66 | #ifndef task_create_arch |
66 | #ifndef task_create_arch |
| 67 | extern void task_create_arch(task_t *t); |
67 | extern void task_create_arch(task_t *t); |
| 68 | #endif |
68 | #endif |
| 69 | 69 | ||
| 70 | extern __native sys_get_task_id(task_id_t *uspace_task_id); |
70 | extern __native sys_task_get_id(task_id_t *uspace_task_id); |
| 71 | 71 | ||
| 72 | #endif |
72 | #endif |