int idx; for (idx = 0; idx < SNDRV_CARDS; idx++) { snd_card_free(snd_saa7134_cards[idx]); 
int idx; for (idx = 0; idx < SNDRV_CARDS; idx++) { snd_card_free(snd_saa7134_cards[idx]); 
void alsa_card_saa7134_exit(void){        int idx;         for (idx = 0; idx < SNDRV_CARDS; idx++) {                snd_card_free(snd_saa7134_cards[idx]);	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4ac97914c6c35f6bf132071c718e034d0846b9f5/saa7134-alsa.c/buggy/drivers/media/video/saa7134/saa7134-alsa.c