usb_deregister(&usbfs_driver); usbdev_cleanup(); 
static void __exit usb_exit(void){	/* This will matter if shutdown/reboot does exitcalls. */	if (nousb)		return;	driver_unregister(&usb_generic_driver);	usb_major_cleanup();	usbfs_cleanup();	usb_hub_cleanup();	usb_host_cleanup();	bus_unregister(&usb_bus_type);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fbf82fd2e1f4e679c60516d772d1862c941ca845/usb.c/buggy/drivers/usb/core/usb.c