- xbt_thcond_t cond; /* the condition used to synchronize the process */
- xbt_mutex_t mutex; /* the mutex used to synchronize the process */
+ xbt_os_cond_t cond; /* the condition used to synchronize the process */
+ xbt_os_mutex_t mutex; /* the mutex used to synchronize the process */