Index: uspace/drv/char/i8042/i8042.h
===================================================================
--- uspace/drv/char/i8042/i8042.h	(revision 8d2dd7f2d52fbc7693f94b66e451eeff3756d061)
+++ uspace/drv/char/i8042/i8042.h	(revision 3ec2acc5fe46d047e352ebba9dfc534ee35a9ca4)
@@ -41,5 +41,5 @@
 
 #include <io/chardev_srv.h>
-#include <sys/types.h>
+#include <ddi.h>
 #include <fibril_synch.h>
 #include <ddf/driver.h>