fn reacquire_cond_mutex<'mir, 'tcx: 'mir>(
    ecx: &mut MiriInterpCx<'mir, 'tcx>,
    thread: ThreadId,
    mutex: MutexId
) -> InterpResult<'tcx>
Expand description

Try to reacquire the mutex associated with the condition variable after we were signaled.