47
47
extern task_id_t task_get_id(void);
48
48
extern int task_set_name(const char *);
49
51
extern task_id_t task_spawn(const char *, const char *const[], int *);
50
55
extern int task_wait(task_id_t id, task_exit_t *, int *);
51
56
extern int task_retval(int);