Function mutex_get_data

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

Returns the MutexId of the mutex stored at mutex_op.

mutex_get_id will also check if the mutex has been moved since its first use and return an error if it has.