if (down_interruptible (&dvbdemux->mutex)) 
if (down_interruptible(&dvbdemux->mutex)) 
static int dvbdmx_write(struct dmx_demux *demux, const char *buf, size_t count){	struct dvb_demux *dvbdemux=(struct dvb_demux *) demux;	if ((!demux->frontend) || (demux->frontend->source != DMX_MEMORY_FE))		return -EINVAL;	if (down_interruptible (&dvbdemux->mutex))		return -ERESTARTSYS;	dvb_dmx_swfilter(dvbdemux, buf, count);	up(&dvbdemux->mutex);	if (signal_pending(current))		return -EINTR;	return count;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dad4a73071532448f6cee29791476494a8eb3a58/dvb_demux.c/buggy/drivers/media/dvb/dvb-core/dvb_demux.c