- 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);