Index: kernel/arch/arm32/include/types.h
===================================================================
--- kernel/arch/arm32/include/types.h	(revision 820edde9b67b8b077ff0b393614fbef1538a9d52)
+++ kernel/arch/arm32/include/types.h	(revision 912ee7cc7683564facff764984003a32d6ea1a7f)
@@ -65,4 +65,9 @@
 typedef int32_t native_t;
 
+typedef uintptr_t ioport_t;
+
+typedef struct {
+} fncptr_t;
+
 #define PRIp "x"	/**< Format for uintptr_t. */
 #define PRIs "u"	/**< Format for size_t. */