struct dvb_demux *dvbdemux = (struct dvb_demux *) demux; 
struct dvb_demux *dvbdemux = (struct dvb_demux *)demux; 
static int dvbdmx_add_frontend(struct dmx_demux *demux, struct dmx_frontend *frontend){	struct dvb_demux *dvbdemux = (struct dvb_demux *) demux;	struct list_head *head = &dvbdemux->frontend_list;	list_add(&(frontend->connectivity_list), head);	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