unregister_chrdev_region(USB_DEVICE_MAJOR, USB_DEVICE_MAX); 
unregister_chrdev_region(USB_DEVICE_DEV, USB_DEVICE_MAX); 
void usbdev_cleanup(void){	class_destroy(usb_device_class);	cdev_del(&usb_device_cdev);	unregister_chrdev_region(USB_DEVICE_MAJOR, USB_DEVICE_MAX);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fad21bdf56a25e1cb3e92bba33349de368e8f0b0/devio.c/buggy/drivers/usb/core/devio.c