i2c_isa_del_driver(&it87_isa_driver); 
static void __exit sm_it87_exit(void){	i2c_del_driver(&it87_driver);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fde0950903ce8cc38a91dd095280decceda2ff82/it87.c/buggy/drivers/hwmon/it87.c