Index: uspace/lib/c/include/ddi.h
===================================================================
--- uspace/lib/c/include/ddi.h	(revision 0e7c3d945e5577b7d3eb35ce33778dfb21249380)
+++ uspace/lib/c/include/ddi.h	(revision 6416ae5afd5db4eea1dd390eb1f25d4908b7387d)
@@ -37,5 +37,6 @@
 
 #include <stdbool.h>
-#include <sys/types.h>
+#include <stddef.h>
+#include <stdint.h>
 #include <sys/time.h>
 #include <abi/ddi/irq.h>
@@ -47,4 +48,8 @@
 #define DMAMEM_16MiB  ((uintptr_t) UINT64_C(0xffffffffff000000))
 #define DMAMEM_4GiB   ((uintptr_t) UINT64_C(0xffffffff00000000))
+
+typedef volatile uint8_t ioport8_t;
+typedef volatile uint16_t ioport16_t;
+typedef volatile uint32_t ioport32_t;
 
 extern int device_assign_devno(void);
Index: uspace/lib/c/include/sys/types.h
===================================================================
--- uspace/lib/c/include/sys/types.h	(revision 0e7c3d945e5577b7d3eb35ce33778dfb21249380)
+++ uspace/lib/c/include/sys/types.h	(revision 6416ae5afd5db4eea1dd390eb1f25d4908b7387d)
@@ -46,8 +46,4 @@
 typedef uint32_t fourcc_t;
 
-typedef volatile uint8_t ioport8_t;
-typedef volatile uint16_t ioport16_t;
-typedef volatile uint32_t ioport32_t;
-
 typedef int16_t unaligned_int16_t __attribute__ ((aligned(1)));
 typedef int32_t unaligned_int32_t __attribute__ ((aligned(1)));