HelenOS sources

usb_device_fini   487 uspace/lib/usbdev/src/devdrv.c 			usb_device_fini(usb_dev);
usb_device_fini   548 uspace/lib/usbdev/src/devdrv.c 	usb_device_fini(usb_dev);
usb_device_fini   579 uspace/lib/usbdev/src/devdrv.c 		usb_device_fini(usb_dev);