2219
2230
/* In case mutex_exit is not a memory barrier, it is
2220
2231
theoretically possible some threads are left waiting though
2221
2232
the semaphore is already released. Wake up those threads: */
2223
2234
sync_arr_wake_threads_if_sema_free();