Index: uspace/lib/c/arch/abs32le/include/ddi.h
===================================================================
--- uspace/lib/c/arch/abs32le/include/ddi.h	(revision 7560814352b04d14225a9bb2f70d5244792a9283)
+++ uspace/lib/c/arch/abs32le/include/ddi.h	(revision 764d71e80b7c72cc3d48b7d5d789623dd67c6961)
@@ -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)
 {