Index: uspace/lib/usbdev/include/usb/dev/driver.h
===================================================================
--- uspace/lib/usbdev/include/usb/dev/driver.h	(revision 065064e6a50bbc4c53be7985e161ce57985dd86b)
+++ uspace/lib/usbdev/include/usb/dev/driver.h	(revision 9c5fd7ac3803be77d37cdbffcae6c81e58919a0d)
@@ -172,5 +172,5 @@
 int usb_device_destroy_pipes(const ddf_dev_t *, usb_endpoint_mapping_t *, size_t);
 int usb_device_create(ddf_dev_t *, usb_endpoint_description_t **, usb_device_t **, const char **);
-void usb_device_destroy(usb_device_t *);
+void usb_device_deinit(usb_device_t *);
 void * usb_device_data_alloc(usb_device_t *, size_t);