int rdc_reset_state(struct dst_state *state){	if (verbose > 1)		dprintk("%s: Resetting state machine\n", __FUNCTION__);	if (dst_gpio_outb(state, RDC_8820_INT, RDC_8820_INT, 0, NO_DELAY) < 0) {		dprintk("%s: dst_gpio_outb ERROR !\n", __FUNCTION__);		return -1;	}	msleep(10);	if (dst_gpio_outb(state, RDC_8820_INT, RDC_8820_INT, RDC_8820_INT, NO_DELAY) < 0) {		dprintk("%s: dst_gpio_outb ERROR !\n", __FUNCTION__);		msleep(10);		return -1;	}	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/a427de6f72bc0d83ebb1d87f9003c5e1009f21cd/dst.c/clean/drivers/media/dvb/bt8xx/dst.c