struct dvb_demux_feed *dvbdmxfeed = (struct dvb_demux_feed *) feed; 
struct dvb_demux_feed *dvbdmxfeed = (struct dvb_demux_feed *)feed; 
static int dmx_section_feed_stop_filtering(struct dmx_section_feed* feed){	struct dvb_demux_feed *dvbdmxfeed = (struct dvb_demux_feed *) feed;	struct dvb_demux *dvbdmx = dvbdmxfeed->demux;	int ret;	if (down_interruptible (&dvbdmx->mutex))		return -ERESTARTSYS;	if (!dvbdmx->stop_feed) {		up(&dvbdmx->mutex);		return -ENODEV;	}	ret = dvbdmx->stop_feed(dvbdmxfeed);	spin_lock_irq(&dvbdmx->lock);	dvbdmxfeed->state = DMX_STATE_READY;	feed->is_filtering = 0;	spin_unlock_irq(&dvbdmx->lock);	up(&dvbdmx->mutex);	return ret;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dad4a73071532448f6cee29791476494a8eb3a58/dvb_demux.c/clean/drivers/media/dvb/dvb-core/dvb_demux.c