void xbt_mutex_lock(xbt_mutex_t mutex) {
DEBUG1("Lock mutex %p", mutex);
- xbt_os_mutex_lock( (xbt_os_mutex_t)mutex );
+ xbt_os_mutex_acquire( (xbt_os_mutex_t)mutex );
}
void xbt_mutex_unlock(xbt_mutex_t mutex) {
DEBUG1("Unlock mutex %p", mutex);
- xbt_os_mutex_unlock( (xbt_os_mutex_t)mutex );
+ xbt_os_mutex_release( (xbt_os_mutex_t)mutex );
}
void xbt_mutex_destroy(xbt_mutex_t mutex) {
xbt_cond_t xbt_cond_init(void) {
xbt_cond_t res = (xbt_cond_t) xbt_os_cond_init();
DEBUG1("Create cond %p", res);
- return (xbt_cond_t) xbt_os_cond_init();
+ return res;
}
void xbt_cond_wait(xbt_cond_t cond, xbt_mutex_t mutex) {