dvb_unregister_adapter(dib->adapter); 
dvb_unregister_adapter(&dib->adapter); 
int dibusb_dvb_exit(struct usb_dibusb *dib){	if (dib->init_state & DIBUSB_STATE_DVB) {		dib->init_state &= ~DIBUSB_STATE_DVB;		deb_info("unregistering DVB part\n");		dvb_net_release(&dib->dvb_net);		dib->demux.dmx.close(&dib->demux.dmx);		dvb_dmxdev_release(&dib->dmxdev);		dvb_dmx_release(&dib->demux);		dvb_unregister_adapter(dib->adapter);	}	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/fdc53a6dbfea18e621dd23ed5cfb160837d7ce52/dvb-dibusb-dvb.c/buggy/drivers/media/dvb/dibusb/dvb-dibusb-dvb.c