class_simple_destroy(ipmi_class); 
class_destroy(ipmi_class); 
static __exit void cleanup_ipmi(void){	class_simple_destroy(ipmi_class);	ipmi_smi_watcher_unregister(&smi_watcher);	devfs_remove(DEVICE_NAME);	unregister_chrdev(ipmi_major, DEVICE_NAME);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/eb51b65005737b777e0709683b061d5f82aefd97/ipmi_devintf.c/clean/drivers/char/ipmi/ipmi_devintf.c