Skip to main content

## mutex_get_data

# Function mutex_get_data

Source

    fn mutex_get_data<'tcx, 'a>(
        ecx: &'a mut MiriInterpCx<'tcx>,
        mutex_ptr: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, &'a PthreadMutex>where
        'tcx: 'a,

Expand description

Returns the mutex data stored at the address that `mutex_ptr` points to. Will raise an error if the mutex has been moved since its first use.