dev->oss.users_dsp--; 
dev->dmasound.users_dsp--; 
static int dsp_release(struct inode *inode, struct file *file){	struct saa7134_dev *dev = file->private_data;	down(&dev->oss.lock);	if (dev->oss.recording_on)		dsp_rec_stop(dev);	dsp_buffer_free(dev);	dev->oss.users_dsp--;	file->private_data = NULL;	up(&dev->oss.lock);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b54134be53be720da423692665ec215eb14a678b/saa7134-oss.c/buggy/drivers/media/video/saa7134/saa7134-oss.c