Index: uspace/lib/usbhost/include/usb/host/ddf_helpers.h
===================================================================
--- uspace/lib/usbhost/include/usb/host/ddf_helpers.h	(revision 0ef03d728764e7bd7a88146ca3db68518857ba1c)
+++ uspace/lib/usbhost/include/usb/host/ddf_helpers.h	(revision 0a12879661a8ce3149d1c5bb20a5b387e62b6e05)
@@ -40,5 +40,5 @@
 #include <usbhc_iface.h>
 
-int hcd_ddf_add_device(hcd_t *instance, ddf_dev_t *parent,
+int hcd_ddf_add_usb_device(ddf_dev_t *parent,
     usb_address_t address, usb_speed_t speed, const char *name,
     const match_id_list_t *mids);
Index: uspace/lib/usbhost/include/usb/host/hcd.h
===================================================================
--- uspace/lib/usbhost/include/usb/host/hcd.h	(revision 0ef03d728764e7bd7a88146ca3db68518857ba1c)
+++ uspace/lib/usbhost/include/usb/host/hcd.h	(revision 0a12879661a8ce3149d1c5bb20a5b387e62b6e05)
@@ -57,6 +57,4 @@
 	/** Endpoint manager. */
 	usb_endpoint_manager_t ep_manager;
-	/** Added devices */
-	list_t devices;
 
 	/** Device specific driver data. */