tuner_dbg ("I2C addr 0x%02x with type %d\n",c->addr<<1,type); 
static void set_type(struct i2c_client *c, unsigned int type){	struct tuner *t = i2c_get_clientdata(c);	tuner_dbg ("I2C addr 0x%02x with type %d\n",c->addr<<1,type);	/* sanity check */	if (type == UNSET || type == TUNER_ABSENT)		return;	if (type >= tuner_count)		return;	if (NULL == t->i2c.dev.driver) {		/* not registered yet */		t->type = type;		return;	}	if (t->initialized)		/* run only once */		return;	t->initialized = 1;	t->type = type;	switch (t->type) {	case TUNER_MT2032:		microtune_init(c);		break;	case TUNER_PHILIPS_TDA8290:		tda8290_init(c);		break;	default:		default_tuner_init(c);		break;	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/586b0cab2516640fec4dffc3049c4d8bca188f89/tuner-core.c/buggy/drivers/media/video/tuner-core.c