Function miri::shims::unix::sync::mutex_set_id

source ·
fn mutex_set_id<'mir, 'tcx: 'mir>(
    ecx: &mut MiriEvalContext<'mir, 'tcx>,
    mutex_op: &OpTy<'tcx, Provenance>,
    id: impl Into<Scalar<Provenance>>
) -> InterpResult<'tcx, ()>