2132
2132
/* In case mutex_exit is not a memory barrier, it is
2133
2133
theoretically possible some threads are left waiting though
2134
2134
the semaphore is already released. Wake up those threads: */
2136
2136
sync_arr_wake_threads_if_sema_free();
2138
2138
if (sync_array_print_long_waits()) {