Index: uspace/lib/usbdev/include/usb/dev/hub.h
===================================================================
--- uspace/lib/usbdev/include/usb/dev/hub.h	(revision 6326155bdae5f8b5856d725405ed6a588e23d79f)
+++ uspace/lib/usbdev/include/usb/dev/hub.h	(revision daf199fc2d87bbc9f014c164542100860c00a639)
@@ -44,7 +44,6 @@
 #include <usb/hc.h>
 
-extern int usb_hc_new_device_wrapper(ddf_dev_t *, usb_hc_connection_t *, usb_speed_t,
-    int (*)(void *), void *, usb_address_t *, ddf_dev_ops_t *, void *,
-    ddf_fun_t **);
+extern int usb_hc_new_device_wrapper(ddf_dev_t *, usb_hc_connection_t *,
+    usb_speed_t, int (*)(void *), void *, usb_address_t *, ddf_fun_t **);
 
 /** Info about device attached to host controller.
Index: uspace/lib/usbdev/include/usb/dev/recognise.h
===================================================================
--- uspace/lib/usbdev/include/usb/dev/recognise.h	(revision 6326155bdae5f8b5856d725405ed6a588e23d79f)
+++ uspace/lib/usbdev/include/usb/dev/recognise.h	(revision daf199fc2d87bbc9f014c164542100860c00a639)
@@ -52,5 +52,5 @@
 
 extern int usb_device_register_child_in_devman(usb_pipe_t *ctrl_pipe,
-    ddf_dev_t *, ddf_dev_ops_t *, void *, ddf_fun_t **);
+    ddf_dev_t *, ddf_fun_t **);
 
 #endif