X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0446fc9e3f379b9aff5e0bb44cf06d06b9e663cc..f281a248565b50fe8c8fd760e70e3f50d4740a3f:/include/xbt/synchro.h

diff --git a/include/xbt/synchro.h b/include/xbt/synchro.h
index 333df9562f..f442bb9773 100644
--- a/include/xbt/synchro.h
+++ b/include/xbt/synchro.h
@@ -51,8 +51,9 @@ 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_timedacquire(xbt_mutex_t mutex, double delay);
   XBT_PUBLIC(void)        xbt_mutex_destroy(xbt_mutex_t mutex);