dvbdmxfeed->buffer=vmalloc(dvbdmxfeed->buffer_size); 
dvbdmxfeed->buffer = vmalloc(dvbdmxfeed->buffer_size); 
static int dmx_section_feed_set(struct dmx_section_feed* feed,			 u16 pid, size_t circular_buffer_size,			 int check_crc){	struct dvb_demux_feed *dvbdmxfeed = (struct dvb_demux_feed *) feed;	struct dvb_demux *dvbdmx = dvbdmxfeed->demux;	if (pid > 0x1fff)		return -EINVAL;	if (down_interruptible (&dvbdmx->mutex))		return -ERESTARTSYS;	dvb_demux_feed_add(dvbdmxfeed);	dvbdmxfeed->pid = pid;	dvbdmxfeed->buffer_size = circular_buffer_size;	dvbdmxfeed->feed.sec.check_crc = check_crc;#ifdef NOBUFS	dvbdmxfeed->buffer = NULL;#else	dvbdmxfeed->buffer=vmalloc(dvbdmxfeed->buffer_size);	if (!dvbdmxfeed->buffer) {		up(&dvbdmx->mutex);		return -ENOMEM;	}#endif	dvbdmxfeed->state = DMX_STATE_READY;	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