struct tda80xx_state* state = (struct tda80xx_state*) fe->demodulator_priv; 
struct tda80xx_state* state = fe->demodulator_priv; 
static void tda80xx_release(struct dvb_frontend* fe){	struct tda80xx_state* state = (struct tda80xx_state*) fe->demodulator_priv;	if (state->config->irq)		free_irq(state->config->irq, &state->worklet);	kfree(state);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b8742700f13163ffa00cddce2a3c940b9ab2ab5a/tda80xx.c/clean/drivers/media/dvb/frontends/tda80xx.c