Index: uspace/lib/usbdev/src/devdrv.c
===================================================================
--- uspace/lib/usbdev/src/devdrv.c	(revision 065064e6a50bbc4c53be7985e161ce57985dd86b)
+++ uspace/lib/usbdev/src/devdrv.c	(revision 9c5fd7ac3803be77d37cdbffcae6c81e58919a0d)
@@ -154,5 +154,5 @@
 	rc = driver->ops->device_add(dev);
 	if (rc != EOK)
-		usb_device_destroy(dev);
+		usb_device_deinit(dev);
 	return rc;
 }
@@ -191,5 +191,5 @@
 	const int ret = driver->ops->device_gone(usb_dev);
 	if (ret == EOK)
-		usb_device_destroy(usb_dev);
+		usb_device_deinit(usb_dev);
 
 	return ret;
@@ -590,7 +590,9 @@
 /** Destroy instance of a USB device.
  *
- * @param dev Device to be destroyed.
- */
-void usb_device_destroy(usb_device_t *dev)
+ * @param dev Device to be de-initialized.
+ *
+ * Does not free/destroy supplied pointer.
+ */
+void usb_device_deinit(usb_device_t *dev)
 {
 	if (dev == NULL) {