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 1ae74c6cce175c398f5c387eb9c2127110cca7b1)
@@ -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>