msp3400c_reset(client); 
msp3400c_reset(client);  /* update our own array */ for (i = 0; i < MSP3400_MAX; i++) { if (client == msps[i]) { msps[i] = NULL; break; } } 
static int msp_detach(struct i2c_client *client){	struct msp3400c *msp  = i2c_get_clientdata(client);	/* shutdown control thread */	if (msp->kthread) {		msp->restart = 1;		kthread_stop(msp->kthread);	}    	msp3400c_reset(client);	i2c_detach_client(client);	kfree(msp);	kfree(client);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/18f47d10bc8076bb126a1a369b782e29cc91c824/msp3400.c/buggy/drivers/media/video/msp3400.c