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