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