i2c_clientname(devices[i].dev)); 
devices[i].dev->name); 
static void __exit tvmixer_cleanup_module(void){	int i;	i2c_del_driver(&driver);	for (i = 0; i < DEV_MAX; i++) {		if (devices[i].minor != -1) {			unregister_sound_mixer(devices[i].minor);			printk("tvmixer: %s unregistered (#2)\n",			       i2c_clientname(devices[i].dev));		}	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/fae91e72b79ba9a21f0ce7551a1fd7e8984c85a6/tvmixer.c/buggy/drivers/media/video/tvmixer.c