pci_free_consistent(prog->dev, prog->n_pages << PAGE_SHIFT, prog->kvirt, prog->bus_addr); 
pci_free_consistent(prog->dev, prog->n_pages << PAGE_SHIFT, prog->kvirt, prog->bus_addr); 
void dma_prog_region_free(struct dma_prog_region *prog){	if (prog->kvirt) {		pci_free_consistent(prog->dev, prog->n_pages << PAGE_SHIFT, prog->kvirt, prog->bus_addr);	}	prog->kvirt = NULL;	prog->dev = NULL;	prog->n_pages = 0;	prog->bus_addr = 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/6649e92d792efa00a823781bcee2dba7f21199ba/dma.c/buggy/drivers/ieee1394/dma.c