Rev 2216 | Rev 2446 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2216 | Rev 2227 | ||
---|---|---|---|
Line 109... | Line 109... | ||
109 | 109 | ||
110 | SPINLOCK_EXTERN(tasks_lock); |
110 | SPINLOCK_EXTERN(tasks_lock); |
111 | extern btree_t tasks_btree; |
111 | extern btree_t tasks_btree; |
112 | 112 | ||
113 | extern void task_init(void); |
113 | extern void task_init(void); |
- | 114 | extern void task_done(void); |
|
114 | extern task_t *task_create(as_t *as, char *name); |
115 | extern task_t *task_create(as_t *as, char *name); |
115 | extern void task_destroy(task_t *t); |
116 | extern void task_destroy(task_t *t); |
116 | extern task_t *task_run_program(void *program_addr, char *name); |
117 | extern task_t *task_run_program(void *program_addr, char *name); |
117 | extern task_t *task_find_by_id(task_id_t id); |
118 | extern task_t *task_find_by_id(task_id_t id); |
118 | extern int task_kill(task_id_t id); |
119 | extern int task_kill(task_id_t id); |