Rev 1174 | Rev 1178 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1174 | Rev 1176 | ||
|---|---|---|---|
| Line 57... | Line 57... | ||
| 57 | 57 | ||
| 58 | extern void task_init(void); |
58 | extern void task_init(void); |
| 59 | extern task_t *task_create(as_t *as, char *name); |
59 | extern task_t *task_create(as_t *as, char *name); |
| 60 | extern task_t *task_run_program(void *program_addr, char *name); |
60 | extern task_t *task_run_program(void *program_addr, char *name); |
| 61 | 61 | ||
| - | 62 | extern __native sys_get_task_id(task_id_t *uspace_task_id); |
|
| - | 63 | ||
| 62 | #endif |
64 | #endif |