dvb_unregister_adapter(ttusb->adapter); 
dvb_unregister_adapter(&ttusb->adapter); 
static void ttusb_disconnect(struct usb_interface *intf){	struct ttusb *ttusb = usb_get_intfdata(intf);	usb_set_intfdata(intf, NULL);	ttusb->disconnecting = 1;	ttusb_stop_iso_xfer(ttusb);	ttusb->dvb_demux.dmx.close(&ttusb->dvb_demux.dmx);	dvb_net_release(&ttusb->dvbnet);	dvb_dmxdev_release(&ttusb->dmxdev);	dvb_dmx_release(&ttusb->dvb_demux);	if (ttusb->fe != NULL) dvb_unregister_frontend(ttusb->fe);	i2c_del_adapter(&ttusb->i2c_adap);	dvb_unregister_adapter(ttusb->adapter);	ttusb_free_iso_urbs(ttusb);	kfree(ttusb);	dprintk("%s: TTUSB DVB disconnected\n", __FUNCTION__);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/fdc53a6dbfea18e621dd23ed5cfb160837d7ce52/dvb-ttusb-budget.c/clean/drivers/media/dvb/ttusb-budget/dvb-ttusb-budget.c