Index: uspace/lib/usb/include/usb/pipes.h
===================================================================
--- uspace/lib/usb/include/usb/pipes.h	(revision 357a3021b85ee61052a29e8e5188756e124b7ba3)
+++ uspace/lib/usb/include/usb/pipes.h	(revision 27a001239f0ff2de46b2832c475f5a2a852ba253)
@@ -122,4 +122,6 @@
     devman_handle_t, usb_address_t);
 
+int usb_device_get_assigned_interface(device_t *);
+
 int usb_endpoint_pipe_initialize(usb_endpoint_pipe_t *,
     usb_device_connection_t *,
