dvbdmxfeed->buffer=0; 
dvbdmxfeed->buffer = NULL; 
static int dvbdmx_release_section_feed(struct dmx_demux *demux,				       struct dmx_section_feed *feed){	struct dvb_demux_feed *dvbdmxfeed = (struct dvb_demux_feed *) feed;	struct dvb_demux *dvbdmx = (struct dvb_demux *) demux;	if (down_interruptible (&dvbdmx->mutex))		return -ERESTARTSYS;	if (dvbdmxfeed->state==DMX_STATE_FREE) {		up(&dvbdmx->mutex);		return -EINVAL;	}#ifndef NOBUFS	vfree(dvbdmxfeed->buffer);	dvbdmxfeed->buffer=0;#endif	dvbdmxfeed->state=DMX_STATE_FREE;	dvb_demux_feed_del(dvbdmxfeed);	dvbdmxfeed->pid = 0xffff;	up(&dvbdmx->mutex);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dad4a73071532448f6cee29791476494a8eb3a58/dvb_demux.c/clean/drivers/media/dvb/dvb-core/dvb_demux.c