Index: uspace/lib/c/arch/abs32le/include/ddi.h
===================================================================
--- uspace/lib/c/arch/abs32le/include/ddi.h	(revision 34efa8a55176f48440fdfca1efa0a665406baf55)
+++ uspace/lib/c/arch/abs32le/include/ddi.h	(revision 0eff68e2235e2f4737160b4f06cd3e6c1b217a5e)
@@ -33,4 +33,7 @@
 #define LIBC_abs32le_DDI_H_
 
+#include <sys/types.h>
+#include <libarch/types.h>
+
 static inline void pio_write_8(ioport8_t *port, uint8_t v)
 {