fb->frame_counter = fc; do_gettimeofday(&fb->timestamp); 
fb->frame_counter = vcs->int_data.frame_counter; memcpy(&fb->timestamp, &vcs->int_data.timestamp, sizeof(struct timeval)); 
static void vino_frame_done(struct vino_channel_settings *vcs,			    unsigned int fc){	struct vino_framebuffer *fb;	unsigned long flags;	spin_lock_irqsave(&vcs->capture_lock, flags);	fb = vino_queue_transfer(&vcs->fb_queue);	if (!fb) {		spin_unlock_irqrestore(&vcs->capture_lock, flags);		dprintk("vino_frame_done(): vino_queue_transfer() failed!\n");		return;	}	spin_unlock_irqrestore(&vcs->capture_lock, flags);	fb->frame_counter = fc;	do_gettimeofday(&fb->timestamp);	spin_lock_irqsave(&fb->state_lock, flags);	if (fb->state == VINO_FRAMEBUFFER_IN_USE)		fb->state = VINO_FRAMEBUFFER_READY;	spin_unlock_irqrestore(&fb->state_lock, flags);	wake_up(&vcs->fb_queue.frame_wait_queue);	vino_capture_next(vcs, 0);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a637a114f36b94a1ad8b9867f43bac0414958420/vino.c/buggy/drivers/media/video/vino.c