X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/46bade924148e45d2fd389682cddc4c3eabdff96..0f9669031a1bc6ab9f0ecab2981ba2214ae1c210:/include/xbt/synchro.h

diff --git a/include/xbt/synchro.h b/include/xbt/synchro.h
index 333df9562f..4c4cf57e73 100644
--- a/include/xbt/synchro.h
+++ b/include/xbt/synchro.h
@@ -51,8 +51,10 @@ SG_BEGIN_DECL()
   typedef struct s_xbt_mutex_ *xbt_mutex_t;
 
   XBT_PUBLIC(xbt_mutex_t) xbt_mutex_init(void);
-  XBT_PUBLIC(void)        xbt_mutex_lock(xbt_mutex_t mutex);
-  XBT_PUBLIC(void)        xbt_mutex_unlock(xbt_mutex_t mutex);
+  XBT_PUBLIC(void)        xbt_mutex_acquire(xbt_mutex_t mutex);
+  XBT_PUBLIC(void)        xbt_mutex_release(xbt_mutex_t mutex);
+  XBT_PUBLIC(void)        xbt_mutex_tryacquire(xbt_mutex_t mutex);
+  XBT_PUBLIC(void)        xbt_mutex_timedacquire(xbt_mutex_t mutex, double delay);
   XBT_PUBLIC(void)        xbt_mutex_destroy(xbt_mutex_t mutex);