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 8e893aeb5653f1350d4daa8ac443ec24ef6449cd)
@@ -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 8e893aeb5653f1350d4daa8ac443ec24ef6449cd)
@@ -38,5 +38,4 @@
 #include <assert.h>
 #include <async.h>
-#include <devman.h>
 #include <usbvirt/device.h>
 #include <usbvirt/ipc.h>