Index: uspace/lib/usbdev/include/usb/dev/driver.h
===================================================================
--- uspace/lib/usbdev/include/usb/dev/driver.h	(revision b208b3bc175199139fddb9cc3b0741cafe358c87)
+++ uspace/lib/usbdev/include/usb/dev/driver.h	(revision 2dc5a9ff32f8362e05d413f795fc2fe2bcc1b774)
@@ -158,5 +158,5 @@
     const usb_endpoint_description_t **, const uint8_t *, size_t, int, int,
     usb_endpoint_mapping_t **, size_t *);
-void usb_device_destroy_pipes(usb_endpoint_mapping_t *, size_t);
+void usb_device_destroy_pipes(usb_device_t *);
 
 usb_pipe_t *usb_device_get_default_pipe(usb_device_t *);