Index: uspace/lib/usbvirt/src/ipc_dev.c
===================================================================
--- uspace/lib/usbvirt/src/ipc_dev.c	(revision 7beb220448680668678a63d26f84dedb2b14be05)
+++ uspace/lib/usbvirt/src/ipc_dev.c	(revision c7afcba76e708cf38d10579d974d0c53a673c609)
@@ -38,5 +38,4 @@
 #include <assert.h>
 #include <async.h>
-#include <devman.h>
 #include <usbvirt/device.h>
 #include <usbvirt/ipc.h>
Index: uspace/lib/usbvirt/src/ipc_hc.c
===================================================================
--- uspace/lib/usbvirt/src/ipc_hc.c	(revision 7beb220448680668678a63d26f84dedb2b14be05)
+++ uspace/lib/usbvirt/src/ipc_hc.c	(revision c7afcba76e708cf38d10579d974d0c53a673c609)
@@ -38,5 +38,4 @@
 #include <assert.h>
 #include <async.h>
-#include <devman.h>
 #include <usbvirt/device.h>
 #include <usbvirt/ipc.h>