if (host->dma_buffer) kfree(host->dma_buffer); 
kfree(host->dma_buffer); 
static void __devexit wbsd_release_dma(struct wbsd_host* host){	if (host->dma_addr)		dma_unmap_single(host->mmc->dev, host->dma_addr, WBSD_DMA_SIZE,			DMA_BIDIRECTIONAL);	if (host->dma_buffer)		kfree(host->dma_buffer);	if (host->dma >= 0)		free_dma(host->dma);	host->dma = -1;	host->dma_buffer = NULL;	host->dma_addr = (dma_addr_t)NULL;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6044ec8882c726e325017bd948aa0cd94ad33abc/wbsd.c/buggy/drivers/mmc/wbsd.c