dev_dbg(&adap->dev, "Adapter unregistered\n"); 
pr_debug("i2c-dev: adapter [%s] unregistered\n", adap->name); 
static int i2cdev_detach_adapter(struct i2c_adapter *adap){	struct i2c_dev *i2c_dev;	i2c_dev = i2c_dev_get_by_adapter(adap);	if (!i2c_dev)		return -ENODEV;	init_completion(&i2c_dev->released);	devfs_remove("i2c/%d", i2c_dev->minor);	return_i2c_dev(i2c_dev);	class_device_unregister(&i2c_dev->class_dev);	wait_for_completion(&i2c_dev->released);	kfree(i2c_dev);	dev_dbg(&adap->dev, "Adapter unregistered\n");	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b6d7b3d1b5a388b7e9af2629a9ecccedee064078/i2c-dev.c/buggy/drivers/i2c/i2c-dev.c