# Function miri::shims::unix::sync::release_cond_mutex_and_block

source ·

    fn release_cond_mutex_and_block<'mir, 'tcx: 'mir>(
        ecx: &mut MiriInterpCx<'mir, 'tcx>,
        active_thread: ThreadId,
        condvar: CondvarId,
        mutex: MutexId
    ) -> InterpResult<'tcx>

Expand description

Release the mutex associated with the condition variable because we are entering the waiting state.