void xbt_mutex_lock(xbt_mutex_t mutex) {
DEBUG1("Lock mutex %p", mutex);
void xbt_mutex_lock(xbt_mutex_t mutex) {
DEBUG1("Lock mutex %p", mutex);
}
void xbt_mutex_unlock(xbt_mutex_t mutex) {
DEBUG1("Unlock mutex %p", mutex);
}
void xbt_mutex_unlock(xbt_mutex_t mutex) {
DEBUG1("Unlock mutex %p", mutex);
xbt_cond_t xbt_cond_init(void) {
xbt_cond_t res = (xbt_cond_t) xbt_os_cond_init();
DEBUG1("Create cond %p", res);
xbt_cond_t xbt_cond_init(void) {
xbt_cond_t res = (xbt_cond_t) xbt_os_cond_init();
DEBUG1("Create cond %p", res);