#ifdef ENABLE_RC cancel_delayed_work(&cinergyt2->rc_query_work); flush_scheduled_work(); input_unregister_device(&cinergyt2->rc_input_dev); #endif 
cinergyt2_unregister_rc(cinergyt2); 
static void cinergyt2_disconnect (struct usb_interface *intf){	struct cinergyt2 *cinergyt2 = usb_get_intfdata (intf);	if (down_interruptible(&cinergyt2->sem))		return;#ifdef ENABLE_RC	cancel_delayed_work(&cinergyt2->rc_query_work);	flush_scheduled_work();	input_unregister_device(&cinergyt2->rc_input_dev);#endif	cinergyt2->demux.dmx.close(&cinergyt2->demux.dmx);	dvb_net_release(&cinergyt2->dvbnet);	dvb_dmxdev_release(&cinergyt2->dmxdev);	dvb_dmx_release(&cinergyt2->demux);	dvb_unregister_device(cinergyt2->fedev);	dvb_unregister_adapter(&cinergyt2->adapter);	cinergyt2_free_stream_urbs(cinergyt2);	up(&cinergyt2->sem);	kfree(cinergyt2);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b7df3910c1298fee8ed7b9dfd2da74b85df5539c/cinergyT2.c/buggy/drivers/media/dvb/cinergyT2/cinergyT2.c