int task_get_notification(struct task *t);
void sched_min_delay(struct sched *s);
void sched_request_timeout(struct timeval *to, struct sched *s);
int task_get_notification(struct task *t);
void sched_min_delay(struct sched *s);
void sched_request_timeout(struct timeval *to, struct sched *s);