struct ves1x93_state* state = (struct ves1x93_state*) fe->demodulator_priv; 
struct ves1x93_state* state = fe->demodulator_priv; 
static int ves1x93_read_ucblocks(struct dvb_frontend* fe, u32* ucblocks){	struct ves1x93_state* state = (struct ves1x93_state*) fe->demodulator_priv;	*ucblocks = ves1x93_readreg (state, 0x18) & 0x7f;	if (*ucblocks == 0x7f)		*ucblocks = 0xffffffff;   /* counter overflow... */	ves1x93_writereg (state, 0x18, 0x00);  /* reset the counter */	ves1x93_writereg (state, 0x18, 0x80);  /* dto. */	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/b8742700f13163ffa00cddce2a3c940b9ab2ab5a/ves1x93.c/buggy/drivers/media/dvb/frontends/ves1x93.c