dvb_unregister_adapter(budget->dvb_adapter); 
dvb_unregister_adapter(&budget->dvb_adapter); 
int ttpci_budget_deinit(struct budget *budget){	struct saa7146_dev *dev = budget->dev;	dprintk(2, "budget: %p\n", budget);	budget_unregister(budget);	i2c_del_adapter(&budget->i2c_adap);	dvb_unregister_adapter(budget->dvb_adapter);	tasklet_kill(&budget->vpe_tasklet);	saa7146_pgtable_free(dev->pci, &budget->pt);	vfree(budget->grabbing);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/fdc53a6dbfea18e621dd23ed5cfb160837d7ce52/budget-core.c/buggy/drivers/media/dvb/ttpci/budget-core.c