test/dummy_libs/synch/kernel_mutexes.dummy.cpp
// Release the mutex. If a thread is waiting for it, it will be permitted to run.
Release the mutex. If a thread is waiting for it, it will be permitted to run.
Release the mutex . If a thread is waiting for it it will be permitted to run .
void klib_synch_mutex_release(klib_mutex &mutex, const bool disregard_owner)
{
  KL_TRC_ENTRY;
  ASSERT(mutex.mutex_locked);
  mutex.mutex_locked = false;
  mutex_map[&mutex]->unlock();
  KL_TRC_EXIT;
}
void klib_synch_mutex_release ( klib_mutex & mutex , const bool disregard_owner ) { KL_TRC_ENTRY ; ASSERT ( mutex . mutex_locked ) ; mutex . mutex_locked = false ; mutex_map [ & mutex ] -> unlock ( ) ; KL_TRC_EXIT ; }
Release the mutex.
Release the mutex .