X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=sched.h;h=27c723919c21c429e327f0a6eb7effa45ea0a219;hp=35b5c636d3d6670810cb1c58f9d6a21408d054a8;hb=f4cc69fd2fad1e51f47be16f552e7a114f43eade;hpb=50087dc3759d54b7b9e5583d1e5a7544261fe364

diff --git a/sched.h b/sched.h
index 35b5c636..27c72391 100644
--- a/sched.h
+++ b/sched.h
@@ -79,3 +79,7 @@ int schedule(struct sched *s);
 char *get_task_list(void);
 int kill_task(char *id);
 void sched_shutdown(void);
+void sched_min_delay(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);