Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision 2f5769097aeb16476c39a32de0fe53503cf28a83)
+++ kernel/generic/include/typedefs.h	(revision 5d8d71ebf89df6dbc2bd7f5a55aa3d4c73a286cd)
@@ -52,4 +52,8 @@
 typedef int32_t devno_t;
 
+typedef volatile uint8_t ioport8_t;
+typedef volatile uint16_t ioport16_t;
+typedef volatile uint32_t ioport32_t;
+
 #endif