struct dmxdev_filter *dmxdevfilter = dvb_dmxdev_file_to_filter(file); 
struct dmxdev_filter *dmxdevfilter = file->private_data; 
static int dvb_demux_release(struct inode *inode, struct file *file){	struct dmxdev_filter *dmxdevfilter = dvb_dmxdev_file_to_filter(file);	struct dmxdev *dmxdev = dmxdevfilter->dev;	return dvb_dmxdev_filter_free(dmxdev, dmxdevfilter);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/3ec4a30771ed9a0ce6f05e637ea83b3781cc61d7/dmxdev.c/buggy/drivers/media/dvb/dvb-core/dmxdev.c