# Function miri::shims::unix::sync::post_cond_signal

source ·

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

Expand description

After a thread waiting on a condvar was signalled: Reacquire the conditional variable and remove the timeout callback if any was registered.