class_simple_device_remove(MKDEV(AOE_MAJOR, chardevs[i].minor)); class_simple_destroy(aoe_class); 
class_device_destroy(aoe_class, MKDEV(AOE_MAJOR, chardevs[i].minor)); class_destroy(aoe_class); 
aoechr_exit(void){	int i;	for (i = 0; i < ARRAY_SIZE(chardevs); ++i)		class_simple_device_remove(MKDEV(AOE_MAJOR, chardevs[i].minor));	class_simple_destroy(aoe_class);	unregister_chrdev(AOE_MAJOR, "aoechr");}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/deb3697037a7d362d13468a73643e09cbc1615a8/aoechr.c/buggy/drivers/block/aoe/aoechr.c