spin_unlock(&vino_drvdata->input_lock); 
spin_unlock_irqrestore(&vino_drvdata->input_lock, flags); 
static int vino_enum_input(struct vino_channel_settings *vcs, __u32 index){	int input = VINO_INPUT_NONE;	spin_lock(&vino_drvdata->input_lock);	if (vino_drvdata->decoder.driver && vino_drvdata->camera.driver) {		switch (index) {		case 0:			input = VINO_INPUT_COMPOSITE;			break;		case 1:			input = VINO_INPUT_SVIDEO;			break;		case 2:			input = VINO_INPUT_D1;			break;		}	} else if (vino_drvdata->decoder.driver) {		switch (index) {		case 0:			input = VINO_INPUT_COMPOSITE;			break;		case 1:			input = VINO_INPUT_SVIDEO;			break;		}	} else if (vino_drvdata->camera.driver) {		switch (index) {		case 0:			input = VINO_INPUT_D1;			break;		}	}	spin_unlock(&vino_drvdata->input_lock);	return input;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a637a114f36b94a1ad8b9867f43bac0414958420/vino.c/buggy/drivers/media/video/vino.c