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