struct task *task_register(struct task_info *info, struct sched *s);
void *task_context(struct task *t);
-void register_task(struct sched *s, struct task *t);
int schedule(struct sched *s);
void sched_shutdown(struct sched *s);
char *get_task_list(struct sched *s);