Index: uspace/lib/usb/include/usb/hcdhubd.h
===================================================================
--- uspace/lib/usb/include/usb/hcdhubd.h	(revision 6c8ada212863a9c5a363c475e540cb33638baa50)
+++ uspace/lib/usb/include/usb/hcdhubd.h	(revision 1f43c8f679fd7fa7cca8cbe2f2a91810db9ada84)
@@ -37,4 +37,5 @@
 
 #include <adt/list.h>
+#include <bool.h>
 #include <driver.h>
 #include <usb/usb.h>
@@ -175,5 +176,5 @@
 int usb_hc_async_wait_for(usb_handle_t);
 
-int usb_hc_add_child_device(device_t *, const char *, const char *);
+int usb_hc_add_child_device(device_t *, const char *, const char *, bool);
 
 #endif
