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);}