if (dev->idx_table) { kfree(dev->idx_table); dev->idx_table = NULL; } 
kfree(dev->idx_table); dev->idx_table = NULL; 
static int clean_via_table(viadev_t *dev, snd_pcm_substream_t *substream,			   struct pci_dev *pci){	if (dev->table.area) {		snd_dma_free_pages(&dev->table);		dev->table.area = NULL;	}	if (dev->idx_table) {		kfree(dev->idx_table);		dev->idx_table = NULL;	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4d572776d4dfa2d5385a2ec3acec3cc059149e13/via82xx_modem.c/buggy/sound/pci/via82xx_modem.c