Index: uspace/drv/char/i8042/i8042.c
===================================================================
--- uspace/drv/char/i8042/i8042.c	(revision a1a101df39387ef358e61b7a23da833e01376074)
+++ uspace/drv/char/i8042/i8042.c	(revision 360823ca2cd6cfcc441581bd5cf8a70db3318659)
@@ -41,5 +41,4 @@
 #include <device/hw_res.h>
 #include <ddi.h>
-#include <libarch/ddi.h>
 #include <errno.h>
 #include <str_error.h>