Index: kernel/arch/arm32/include/asm.h
===================================================================
--- kernel/arch/arm32/include/asm.h	(revision e762b4375e99a4a33536330659ad95ea048dbf84)
+++ kernel/arch/arm32/include/asm.h	(revision 5d8d71ebf89df6dbc2bd7f5a55aa3d4c73a286cd)
@@ -37,4 +37,5 @@
 #define KERN_arm32_ASM_H_
 
+#include <typedefs.h>
 #include <arch/types.h>
 #include <arch/stack.h>
Index: kernel/arch/arm32/include/types.h
===================================================================
--- kernel/arch/arm32/include/types.h	(revision e762b4375e99a4a33536330659ad95ea048dbf84)
+++ kernel/arch/arm32/include/types.h	(revision 5d8d71ebf89df6dbc2bd7f5a55aa3d4c73a286cd)
@@ -65,8 +65,4 @@
 typedef int32_t native_t;
 
-typedef volatile uint8_t ioport8_t;
-typedef volatile uint16_t ioport16_t;
-typedef volatile uint32_t ioport32_t;
-
 typedef struct {
 } fncptr_t;