Index: uspace/srv/hid/input/port/pl050.c
===================================================================
--- uspace/srv/hid/input/port/pl050.c	(revision 4e00f8748907db19e8c6b776b1d4c98f5e411035)
+++ uspace/srv/hid/input/port/pl050.c	(revision 9727b92a69662ad809160b46263b1ef1fa3a6f92)
@@ -37,9 +37,7 @@
 
 #include <ddi.h>
-#include <libarch/ddi.h>
 #include <async.h>
 #include <unistd.h>
 #include <sysinfo.h>
-#include <ddi.h>
 #include <stdio.h>
 #include <errno.h>