xbt_os_mutex_acquire( (xbt_os_mutex_t)mutex );
}
-void xbt_mutex_tryacquire(xbt_mutex_t mutex) {
- DEBUG1("Try acquire mutex %p", mutex);
- xbt_os_mutex_tryacquire( (xbt_os_mutex_t)mutex );
-}
-
void xbt_mutex_timedacquire(xbt_mutex_t mutex, double delay)
{
DEBUG2("Acquire mutex %p with delay %lf", mutex,delay);