spin_unlock(&vino_drvdata->input_lock); 
spin_unlock_irqrestore(&vino_drvdata->input_lock, flags); 
static int vino_v4l2_s_crop(struct vino_channel_settings *vcs,			    struct v4l2_crop *c){	switch (c->type) {	case V4L2_BUF_TYPE_VIDEO_CAPTURE:		spin_lock(&vino_drvdata->input_lock);		if (!vino_is_input_owner(vcs)) {			spin_unlock(&vino_drvdata->input_lock);			return -EINVAL;		}		vino_set_clipping(vcs, c->c.left, c->c.top,				  c->c.width, c->c.height);		spin_unlock(&vino_drvdata->input_lock);		break;	case V4L2_BUF_TYPE_VIDEO_OVERLAY:	default:		return -EINVAL;	}	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a637a114f36b94a1ad8b9867f43bac0414958420/vino.c/buggy/drivers/media/video/vino.c