usb_deregister(&usbfs_driver); 
void usbfs_cleanup(void){	usb_deregister(&usbfs_driver);	unregister_filesystem(&usb_fs_type);	if (usbdir)		remove_proc_entry("usb", proc_bus);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fbf82fd2e1f4e679c60516d772d1862c941ca845/inode.c/buggy/drivers/usb/core/inode.c