if (length > VINO_FRAMEBUFFER_MAX_COUNT) length = VINO_FRAMEBUFFER_MAX_COUNT; 
if (length > VINO_FRAMEBUFFER_COUNT_MAX) length = VINO_FRAMEBUFFER_COUNT_MAX; 
static void vino_fifo_init(struct vino_framebuffer_fifo *f,			   unsigned int length){	f->length = 0;	f->used = 0;	f->head = 0;	f->tail = 0;	if (length > VINO_FRAMEBUFFER_MAX_COUNT)		length = VINO_FRAMEBUFFER_MAX_COUNT;	f->length = length;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a637a114f36b94a1ad8b9867f43bac0414958420/vino.c/buggy/drivers/media/video/vino.c