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

diff --git a/sched.h b/sched.h
index 35b5c636..452e749e 100644
--- a/sched.h
+++ b/sched.h
@@ -79,3 +79,8 @@ 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);
+void sched_request_barrier_or_min_delay(struct timeval *barrier, struct sched *s);