Index: uspace/drv/bus/usb/xhci/debug.h
===================================================================
--- uspace/drv/bus/usb/xhci/debug.h	(revision 7ec7b7ea64f1e1a3249fed297c953a7cb4fe5479)
+++ uspace/drv/bus/usb/xhci/debug.h	(revision 4c037938329a3c1834ce99508e2ef8ca9d929fb7)
@@ -37,6 +37,4 @@
 #define XHCI_DEBUG_H
 
-#include "hc.h"
-
 /**
  * As the debug header is likely to be included in every file, avoid including
@@ -65,5 +63,5 @@
 void xhci_dump_slot_ctx(const struct xhci_slot_ctx *);
 void xhci_dump_endpoint_ctx(const struct xhci_endpoint_ctx *);
-void xhci_dump_input_ctx(const xhci_hc_t *, const struct xhci_input_ctx *);
+void xhci_dump_input_ctx(const struct xhci_hc *, const struct xhci_input_ctx *);
 
 #endif