Rev 1184 | Rev 1187 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1184 | Rev 1185 | ||
---|---|---|---|
Line 61... | Line 61... | ||
61 | extern void task_init(void); |
61 | extern void task_init(void); |
62 | extern task_t *task_create(as_t *as, char *name); |
62 | extern task_t *task_create(as_t *as, char *name); |
63 | extern task_t *task_run_program(void *program_addr, char *name); |
63 | extern task_t *task_run_program(void *program_addr, char *name); |
64 | extern task_t *task_find_by_id(task_id_t id); |
64 | extern task_t *task_find_by_id(task_id_t id); |
65 | 65 | ||
- | 66 | #ifndef task_create_arch |
|
- | 67 | extern void task_create_arch(task_t *t); |
|
- | 68 | #endif |
|
- | 69 | ||
66 | extern __native sys_get_task_id(task_id_t *uspace_task_id); |
70 | extern __native sys_get_task_id(task_id_t *uspace_task_id); |
67 | 71 | ||
68 | #endif |
72 | #endif |