video_read(struct file *file, char *data, size_t count, loff_t *ppos) 
video_read(struct file *file, char __user *data, size_t count, loff_t *ppos) 
video_read(struct file *file, char *data, size_t count, loff_t *ppos){	struct cx8800_fh *fh = file->private_data;	switch (fh->type) {	case V4L2_BUF_TYPE_VIDEO_CAPTURE:		if (res_locked(fh->dev,RESOURCE_VIDEO))			return -EBUSY;		return videobuf_read_one(&fh->vidq, data, count, ppos,					 file->f_flags & O_NONBLOCK);	case V4L2_BUF_TYPE_VBI_CAPTURE:		if (!res_get(fh->dev,fh,RESOURCE_VBI))			return -EBUSY;		return videobuf_read_stream(&fh->vbiq, data, count, ppos, 1,					    file->f_flags & O_NONBLOCK);	default:		BUG();		return 0;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f9e7a0203def0704beaf4af1ff2c772f9fa712cf/cx88-video.c/buggy/drivers/media/video/cx88/cx88-video.c