Rev 3001 | Rev 3149 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3001 | Rev 3004 | ||
---|---|---|---|
Line 118... | Line 118... | ||
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); |
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, task_t **task); |
123 | extern task_t *task_create_from_loader(char *name); |
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); |
128 | 128 | ||
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(task_id_t *uspace_task_id); |
142 | extern unative_t sys_task_spawn(int *uspace_phone_id); |
143 | 143 | ||
144 | #endif |
144 | #endif |
145 | 145 | ||
146 | /** @} |
146 | /** @} |
147 | */ |
147 | */ |