Rev 3004 | Rev 3190 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3004 | Rev 3149 | ||
---|---|---|---|
Line 116... | Line 116... | ||
116 | 116 | ||
117 | extern void task_init(void); |
117 | extern void task_init(void); |
118 | extern void task_done(void); |
118 | extern void task_done(void); |
119 | extern task_t *task_create(as_t *as, char *name); |
119 | extern task_t *task_create(as_t *as, char *name); |
120 | extern void task_destroy(task_t *t); |
120 | extern void task_destroy(task_t *t); |
121 | extern task_t *task_create_from_as(as_t *as, uintptr_t entry_addr, char *name); |
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, task_t **task); |
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); |
123 | extern int task_create_from_loader(char *name, task_t **task); |
124 | extern void task_ready(task_t *t); |
124 | extern void task_ready(task_t *t); |
125 | extern task_t *task_find_by_id(task_id_t id); |
125 | extern task_t *task_find_by_id(task_id_t id); |
126 | extern int task_kill(task_id_t id); |
126 | extern int task_kill(task_id_t id); |
127 | extern uint64_t task_get_accounting(task_t *t); |
127 | extern uint64_t task_get_accounting(task_t *t); |
Line 137... | Line 137... | ||
137 | #ifndef task_destroy_arch |
137 | #ifndef task_destroy_arch |
138 | extern void task_destroy_arch(task_t *t); |
138 | extern void task_destroy_arch(task_t *t); |
139 | #endif |
139 | #endif |
140 | 140 | ||
141 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
141 | extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
142 | extern unative_t sys_task_spawn(int *uspace_phone_id); |
142 | extern unative_t sys_task_spawn_loader(int *uspace_phone_id); |
- | 143 | extern unative_t sys_task_spawn(void *image, size_t size); |
|
143 | 144 | ||
144 | #endif |
145 | #endif |
145 | 146 | ||
146 | /** @} |
147 | /** @} |
147 | */ |
148 | */ |