#ifndef SIMGRID_STHREAD_H
#define SIMGRID_STHREAD_H
-#if defined(__ELF__)
-#define XBT_PUBLIC __attribute__((visibility("default")))
-#else
-#define XBT_PUBLIC
-#endif
+#include "xbt/base.h"
+#include <sys/time.h>
#if defined(__cplusplus)
extern "C" {
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