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);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/dca79a046b93a81496bb30ca01177fb17f37ab72/ipmi_devintf.c/clean/drivers/char/ipmi/ipmi_devintf.c