1 files changed, 11 insertions, 0 deletions

diff --git a/src/clocks.c b/src/clocks.c
index fcb94e5..74c2fb4 100644
--- a/src/clocks.c
+++ b/src/clocks.c
@@ -3,6 +3,8 @@
 #include <sys/time.h>
 #include <time.h>
 
+#include "litmus.h"
+
 /* CPU time consumed so far in seconds */
 double cputime(void)
 {
@@ -21,3 +23,12 @@ double wctime(void)
         gettimeofday(&tv, NULL);
         return (tv.tv_sec + 1E-6 * tv.tv_usec);
 }
+
+int lt_sleep(lt_t timeout)
+{
+        struct timespec delay;
+
+        delay.tv_sec  = timeout / 1000000000L;
+        delay.tv_nsec = timeout % 1000000000L;
+        return nanosleep(&delay, NULL);
+}