Index: kernel/arch/mips32/include/mm/km.h
===================================================================
--- kernel/arch/mips32/include/mm/km.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
+++ kernel/arch/mips32/include/mm/km.h	(revision 7aaed09d88be49fac8360d3017e3328ed9b0635c)
@@ -36,4 +36,6 @@
 #define KERN_mips32_KM_H_
 
+#include <typedefs.h>
+
 #define KM_MIPS32_KSEG0_START	UINT32_C(0x80000000)
 #define KM_MIPS32_KSEG0_SIZE	UINT32_C(0x20000000)
@@ -47,4 +49,5 @@
 extern void km_identity_arch_init(void);
 extern void km_non_identity_arch_init(void);
+extern bool km_is_non_identity_arch(uintptr_t);
 
 #endif