int schedule(struct sched *s);
char *get_task_list(struct sched *s);
void task_notify(struct task *t, int err);
-void sched_shutdown(struct sched *s);
+void task_notify_all(struct sched *s, int err);
int task_get_notification(struct task *t);
void sched_min_delay(struct sched *s);
void sched_request_timeout(struct timeval *to, struct sched *s);