Index: uspace/lib/usb/include/usb/hcd.h
===================================================================
--- uspace/lib/usb/include/usb/hcd.h	(revision edfed73c1e40066e7c0e6056eea635fd2cf30c06)
+++ uspace/lib/usb/include/usb/hcd.h	(revision 3937bda2a1beb458c852ac38c43e928cf9647e3e)
@@ -33,6 +33,6 @@
  * @brief HC driver.
  */
-#ifndef LIBUSB_HCD_H_
-#define LIBUSB_HCD_H_
+#ifndef LIBUSB_ADDRKEEP_H_
+#define LIBUSB_ADDRKEEP_H_
 
 #include <usb/usb.h>
Index: uspace/lib/usb/include/usb/recognise.h
===================================================================
--- uspace/lib/usb/include/usb/recognise.h	(revision edfed73c1e40066e7c0e6056eea635fd2cf30c06)
+++ uspace/lib/usb/include/usb/recognise.h	(revision 3937bda2a1beb458c852ac38c43e928cf9647e3e)
@@ -39,4 +39,5 @@
 #include <usb/usb.h>
 #include <usb/pipes.h>
+#include <ipc/devman.h>
 
 int usb_device_create_match_ids(usb_endpoint_pipe_t *, match_id_list_t *);