mem_map_unreserve(virt_to_page(fb->desc_table.virtual[i])); 
ClearPageReserved(virt_to_page(fb->desc_table.virtual[i])); 
static void vino_free_buffer_with_count(struct vino_framebuffer *fb,					       unsigned int count){	unsigned int i;	dprintk("vino_free_buffer_with_count(): count = %d\n", count);	for (i = 0; i < count; i++) {		mem_map_unreserve(virt_to_page(fb->desc_table.virtual[i]));		dma_unmap_single(NULL,				 fb->desc_table.dma_cpu[VINO_PAGE_RATIO * i],				 PAGE_SIZE, DMA_FROM_DEVICE);		free_page(fb->desc_table.virtual[i]);	}	dma_free_coherent(NULL,			  VINO_PAGE_RATIO * (fb->desc_table.page_count + 4) *			  sizeof(dma_addr_t), (void *)fb->desc_table.dma_cpu,			  fb->desc_table.dma);	kfree(fb->desc_table.virtual);	memset(fb, 0, sizeof(struct vino_framebuffer));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a637a114f36b94a1ad8b9867f43bac0414958420/vino.c/buggy/drivers/media/video/vino.c