Index: kernel/generic/include/typedefs.h
===================================================================
--- kernel/generic/include/typedefs.h	(revision da58187297a4ba3471d2a800ec2cfb016c16e6ae)
+++ kernel/generic/include/typedefs.h	(revision 63d1ebd4054ec6d26fa74d2ae3e3c362321a02ae)
@@ -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