struct cx8800_dev *dev = pci_get_drvdata(pci_dev); 
struct cx8800_dev *dev = pci_get_drvdata(pci_dev); 
static void __devexit cx8800_finidev(struct pci_dev *pci_dev){        struct cx8800_dev *dev = pci_get_drvdata(pci_dev);	struct cx88_core *core = dev->core;	/* stop thread */	if (core->kthread) {		kthread_stop(core->kthread);		core->kthread = NULL;	}	cx88_shutdown(core); /* FIXME */	pci_disable_device(pci_dev);	/* unregister stuff */	free_irq(pci_dev->irq, dev);	cx8800_unregister_video(dev);	pci_set_drvdata(pci_dev, NULL);	/* free memory */	btcx_riscmem_free(dev->pci,&dev->vidq.stopper);	list_del(&dev->devlist);	cx88_core_put(core,dev->pci);	kfree(dev);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/4ac97914c6c35f6bf132071c718e034d0846b9f5/cx88-video.c/buggy/drivers/media/video/cx88/cx88-video.c