if (down_interruptible (&demux->mutex)) 
if (down_interruptible(&demux->mutex)) 
static int dmx_ts_feed_stop_filtering(struct dmx_ts_feed* ts_feed){	struct dvb_demux_feed *feed = (struct dvb_demux_feed *) ts_feed;	struct dvb_demux *demux = feed->demux;	int ret;	if (down_interruptible (&demux->mutex))		return -ERESTARTSYS;	if (feed->state < DMX_STATE_GO) {		up(&demux->mutex);		return -EINVAL;	}	if (!demux->stop_feed) {		up(&demux->mutex);		return -ENODEV;	}	ret = demux->stop_feed(feed);	spin_lock_irq(&demux->lock);	ts_feed->is_filtering = 0;	feed->state = DMX_STATE_ALLOCATED;	spin_unlock_irq(&demux->lock);	up(&demux->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