snd_printk("ali_free_channel_pcm: channel %d is not in use.\n",channel); 
snd_printk(KERN_ERR "ali_free_channel_pcm: channel %d is not in use.\n",channel); 
static void snd_ali_free_channel_pcm(ali_t *codec, int channel){	unsigned int idx = channel & 0x0000001f;	snd_ali_printk("free_channel_pcm channel=%d\n",channel);	if (channel < 0 || channel >= ALI_CHANNELS)		return;	if (!(codec->synth.chmap & (1 << idx))) {		snd_printk("ali_free_channel_pcm: channel %d is not in use.\n",channel);		return;	} else {		codec->synth.chmap &= ~(1 << idx);		codec->synth.chcnt--;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/99b359ba10a582148c6725f428a33ba5356dd993/ali5451.c/buggy/sound/pci/ali5451/ali5451.c