class_simple_device_add(ipmi_class, dev, NULL, "ipmi%d", if_num);
class_device_create(ipmi_class, dev, NULL, "ipmi%d", if_num);
static void ipmi_new_smi(int if_num){	dev_t dev = MKDEV(ipmi_major, if_num);	devfs_mk_cdev(dev, S_IFCHR | S_IRUSR | S_IWUSR,		      "ipmidev/%d", if_num);	class_simple_device_add(ipmi_class, dev, NULL, "ipmi%d", if_num);}