unregister_sound_mixer(dev->oss.minor_mixer); unregister_sound_dsp(dev->oss.minor_dsp); 
unregister_sound_mixer(dev->dmasound.minor_mixer); unregister_sound_dsp(dev->dmasound.minor_dsp); 
static void __devexit saa7134_finidev(struct pci_dev *pci_dev){	struct saa7134_dev *dev = pci_get_drvdata(pci_dev);	struct list_head *item;	struct saa7134_mpeg_ops *mops;	/* debugging ... */	if (irq_debug) {		u32 report = saa_readl(SAA7134_IRQ_REPORT);		u32 status = saa_readl(SAA7134_IRQ_STATUS);		print_irqstatus(dev,42,report,status);	}	/* disable peripheral devices */	saa_writeb(SAA7134_SPECIAL_MODE,0);	/* shutdown hardware */	saa_writel(SAA7134_IRQ1,0);	saa_writel(SAA7134_IRQ2,0);	saa_writel(SAA7134_MAIN_CTRL,0);	/* shutdown subsystems */	saa7134_hwfini(dev);	/* unregister */	down(&devlist_lock);	list_del(&dev->devlist);	list_for_each(item,&mops_list) {		mops = list_entry(item, struct saa7134_mpeg_ops, next);		mpeg_ops_detach(mops, dev);	}	up(&devlist_lock);	saa7134_devcount--;	saa7134_i2c_unregister(dev);	switch (dev->pci->device) {	case PCI_DEVICE_ID_PHILIPS_SAA7134:	case PCI_DEVICE_ID_PHILIPS_SAA7133:	case PCI_DEVICE_ID_PHILIPS_SAA7135:		if (oss) {			unregister_sound_mixer(dev->oss.minor_mixer);			unregister_sound_dsp(dev->oss.minor_dsp);		}		break;	}	saa7134_unregister_video(dev);	/* release ressources */	free_irq(pci_dev->irq, dev);	iounmap(dev->lmmio);	release_mem_region(pci_resource_start(pci_dev,0),			   pci_resource_len(pci_dev,0));	pci_set_drvdata(pci_dev, NULL);	/* free memory */	kfree(dev);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b54134be53be720da423692665ec215eb14a678b/saa7134-core.c/buggy/drivers/media/video/saa7134/saa7134-core.c