struct ves1x93_state* state = (struct ves1x93_state*) fe->demodulator_priv; 
struct ves1x93_state* state = fe->demodulator_priv; 
static int ves1x93_set_frontend(struct dvb_frontend* fe, struct dvb_frontend_parameters *p){	struct ves1x93_state* state = (struct ves1x93_state*) fe->demodulator_priv;	ves1x93_writereg(state, 0x00, 0x11);	state->config->pll_set(fe, p);	ves1x93_writereg(state, 0x00, 0x01);	ves1x93_set_inversion (state, p->inversion);	ves1x93_set_fec (state, p->u.qpsk.fec_inner);	ves1x93_set_symbolrate (state, p->u.qpsk.symbol_rate);	state->inversion = p->inversion;	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b8742700f13163ffa00cddce2a3c940b9ab2ab5a/ves1x93.c/buggy/drivers/media/dvb/frontends/ves1x93.c