class_simple_device_remove(ipmi_class, MKDEV(ipmi_major, if_num));
class_simple_device_remove(MKDEV(ipmi_major, if_num));
static void ipmi_smi_gone(int if_num){	class_simple_device_remove(ipmi_class, MKDEV(ipmi_major, if_num));	devfs_remove("ipmidev/%d", if_num);}