void sched_shutdown(void);
void sched_min_delay(struct sched *s);
void sched_request_timeout(struct timeval *to, struct sched *s);
void sched_shutdown(void);
void sched_min_delay(struct sched *s);
void sched_request_timeout(struct timeval *to, struct sched *s);