THROWF(timeout_error, 0, "mutex %p not ready", mutex);
default:
THROWF(system_error, errcode,
- "xbt_mutex_timedacquire(%p) failed: %s", mutex,
+ "xbt_os_mutex_timedacquire(%p) failed: %s", mutex,
strerror(errcode));
}
void *xbt_os_thread_get_extra_data(void)
{
- return xbt_os_thread_self()->extra_data;
+ xbt_os_thread_t self = xbt_os_thread_self();
+ return self? self->extra_data : NULL;
}
xbt_os_rmutex_t xbt_os_rmutex_init(void)