class_simple_destroy(usb_class); 
class_destroy(usb_class); 
void usb_major_cleanup(void){	class_simple_destroy(usb_class);	devfs_remove("usb");	unregister_chrdev(USB_MAJOR, "usb");}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/56b2293595b2eb52cc2aa2baf92c6cfa8265f9d5/file.c/buggy/drivers/usb/core/file.c