118,8 → 118,8 |
extern void task_done(void); |
extern task_t *task_create(as_t *as, char *name); |
extern void task_destroy(task_t *t); |
extern task_t *task_create_from_as(as_t *as, uintptr_t entry_addr, char *name); |
extern int task_parse_initial(void *program_addr, char *name, task_t **task); |
extern task_t *task_create_from_as(as_t *as, uintptr_t entry_addr, char *name, struct thread **t); |
extern int task_parse_initial(void *program_addr, char *name, struct thread **t); |
extern int task_create_from_loader(char *name, task_t **task); |
extern void task_ready(task_t *t); |
extern task_t *task_find_by_id(task_id_t id); |
139,7 → 139,8 |
#endif |
|
extern unative_t sys_task_get_id(task_id_t *uspace_task_id); |
extern unative_t sys_task_spawn(int *uspace_phone_id); |
extern unative_t sys_task_spawn_loader(int *uspace_phone_id); |
extern unative_t sys_task_spawn(void *image, size_t size); |
|
#endif |
|