void sched_request_timeout(struct timeval *timeout, struct sched *s);
void sched_request_timeout_ms(long unsigned ms, struct sched *s);
void sched_request_barrier(struct timeval *barrier, struct sched *s);
void sched_request_timeout(struct timeval *timeout, struct sched *s);
void sched_request_timeout_ms(long unsigned ms, struct sched *s);
void sched_request_barrier(struct timeval *barrier, struct sched *s);