Index: uspace/drv/char/ps2mouse/main.c
===================================================================
--- uspace/drv/char/ps2mouse/main.c	(revision 68c60b0380083d00033732ec2b171ccb884fa46d)
+++ uspace/drv/char/ps2mouse/main.c	(revision e882e3a80e03edfdac57ccf9854bee22d5a47032)
@@ -35,5 +35,4 @@
 #include <libarch/inttypes.h>
 #include <ddf/driver.h>
-#include <devman.h>
 #include <device/hw_res_parsed.h>
 #include <errno.h>
Index: uspace/drv/char/xtkbd/main.c
===================================================================
--- uspace/drv/char/xtkbd/main.c	(revision 68c60b0380083d00033732ec2b171ccb884fa46d)
+++ uspace/drv/char/xtkbd/main.c	(revision e882e3a80e03edfdac57ccf9854bee22d5a47032)
@@ -35,5 +35,4 @@
 #include <libarch/inttypes.h>
 #include <ddf/driver.h>
-#include <devman.h>
 #include <device/hw_res_parsed.h>
 #include <errno.h>