miri::shims::unix::sync

Function mutex_create

Source
fn mutex_create<'tcx>(
    ecx: &mut MiriInterpCx<'tcx>,
    mutex_ptr: &OpTy<'tcx>,
    kind: MutexKind,
) -> InterpResult<'tcx, PthreadMutex>
Expand description

Eagerly create and initialize a new mutex.