if (dma->vmalloc) { vfree(dma->vmalloc); dma->vmalloc = NULL; } 
 vfree(dma->vmalloc); dma->vmalloc = NULL;  
int videobuf_dma_free(struct videobuf_dmabuf *dma){	MAGIC_CHECK(dma->magic,MAGIC_DMABUF);	BUG_ON(dma->sglen);	if (dma->pages) {		int i;		for (i=0; i < dma->nr_pages; i++)			page_cache_release(dma->pages[i]);		kfree(dma->pages);		dma->pages = NULL;	}	if (dma->vmalloc) {		vfree(dma->vmalloc);		dma->vmalloc = NULL;	}	if (dma->bus_addr) {		dma->bus_addr = 0;	}	dma->direction = PCI_DMA_NONE;	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f9101210e7aa72daf92722d451a2f7e3af5f781f/video-buf.c/buggy/drivers/media/video/video-buf.c