struct dmx_demux *dmx = &dvbdemux->dmx;  dmx_unregister_demux(dmx); 
int dvb_dmx_release(struct dvb_demux *dvbdemux){	struct dmx_demux *dmx = &dvbdemux->dmx;	dmx_unregister_demux(dmx);	vfree(dvbdemux->filter);	vfree(dvbdemux->feed);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/936534676ef6c6af389eb9e61de7d725ee79a316/dvb_demux.c/clean/drivers/media/dvb/dvb-core/dvb_demux.c