Rev 3190 | Rev 3448 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3190 | Rev 3203 | ||
|---|---|---|---|
| Line 110... | Line 110... | ||
| 110 | } task_t; |
110 | } task_t; |
| 111 | 111 | ||
| 112 | SPINLOCK_EXTERN(tasks_lock); |
112 | SPINLOCK_EXTERN(tasks_lock); |
| 113 | extern avltree_t tasks_tree; |
113 | extern avltree_t tasks_tree; |
| 114 | 114 | ||
| 115 | extern void *program_loader; |
- | |
| 116 | - | ||
| 117 | extern void task_init(void); |
115 | extern void task_init(void); |
| 118 | extern void task_done(void); |
116 | extern void task_done(void); |
| 119 | extern task_t *task_create(as_t *as, char *name); |
117 | extern task_t *task_create(as_t *as, char *name); |
| 120 | extern void task_destroy(task_t *t); |
118 | extern void task_destroy(task_t *t); |
| 121 | extern task_t *task_create_from_as(as_t *as, uintptr_t entry_addr, char *name, struct thread **t); |
- | |
| 122 | extern int task_parse_initial(void *program_addr, char *name, struct thread **t); |
- | |
| 123 | extern int task_create_from_loader(char *name, task_t **task); |
- | |
| 124 | extern void task_ready(task_t *t); |
- | |
| 125 | extern task_t *task_find_by_id(task_id_t id); |
119 | extern task_t *task_find_by_id(task_id_t id); |
| 126 | extern int task_kill(task_id_t id); |
120 | extern int task_kill(task_id_t id); |
| 127 | extern uint64_t task_get_accounting(task_t *t); |
121 | extern uint64_t task_get_accounting(task_t *t); |
| 128 | 122 | ||
| 129 | - | ||
| 130 | extern void cap_set(task_t *t, cap_t caps); |
123 | extern void cap_set(task_t *t, cap_t caps); |
| 131 | extern cap_t cap_get(task_t *t); |
124 | extern cap_t cap_get(task_t *t); |
| 132 | 125 | ||
| 133 | #ifndef task_create_arch |
126 | #ifndef task_create_arch |
| 134 | extern void task_create_arch(task_t *t); |
127 | extern void task_create_arch(task_t *t); |
| Line 137... | Line 130... | ||
| 137 | #ifndef task_destroy_arch |
130 | #ifndef task_destroy_arch |
| 138 | extern void task_destroy_arch(task_t *t); |
131 | extern void task_destroy_arch(task_t *t); |
| 139 | #endif |
132 | #endif |
| 140 | 133 | ||
| 141 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
134 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
| 142 | extern unative_t sys_task_spawn_loader(int *uspace_phone_id); |
- | |
| 143 | 135 | ||
| 144 | #endif |
136 | #endif |
| 145 | 137 | ||
| 146 | /** @} |
138 | /** @} |
| 147 | */ |
139 | */ |