snd_card_saa7134_t *chip = device->device_data; return snd_saa7134_free(chip); 
snd_card_saa7134_t *chip = device->device_data; return snd_saa7134_free(chip); 
static int snd_saa7134_dev_free(snd_device_t *device){        snd_card_saa7134_t *chip = device->device_data;        return snd_saa7134_free(chip);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4ac97914c6c35f6bf132071c718e034d0846b9f5/saa7134-alsa.c/buggy/drivers/media/video/saa7134/saa7134-alsa.c