#ifndef SIMGRID_STHREAD_H
#define SIMGRID_STHREAD_H
+#include <sys/time.h>
+
#if defined(__ELF__)
#define XBT_PUBLIC __attribute__((visibility("default")))
#else
int sthread_mutex_unlock(sthread_mutex_t* mutex);
int sthread_mutex_destroy(sthread_mutex_t* mutex);
+int sthread_gettimeofday(struct timeval* tv);
+void sthread_sleep(double seconds);
+
#if defined(__cplusplus)
}
#endif
-#endif
\ No newline at end of file
+#endif