int snd_device_disconnect(snd_card_t *card, void *device_data){	struct list_head *list;	snd_device_t *dev;		snd_assert(card != NULL, return -ENXIO);	snd_assert(device_data != NULL, return -ENXIO);	list_for_each(list, &card->devices) {		dev = snd_device(list);		if (dev->device_data != device_data)			continue;		if (dev->state == SNDRV_DEV_REGISTERED && dev->ops->dev_disconnect) {			if (dev->ops->dev_disconnect(dev))				snd_printk(KERN_ERR "device disconnect failure\n");			dev->state = SNDRV_DEV_DISCONNECTED;		}		return 0;	}	snd_printd("device disconnect %p (from %p), not found\n", device_data, __builtin_return_address(0));	return -ENXIO;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/a3352f01ea2d38b0d5b7b63de754e94b9aba0390/device.c/buggy/sound/core/device.c