Index: kernel/arch/mips32/src/mm/km.c
===================================================================
--- kernel/arch/mips32/src/mm/km.c	(revision 464a52fb3f84550859625f9698a1bfc98e9127e0)
+++ kernel/arch/mips32/src/mm/km.c	(revision 1b478f661c486eaaf171a6561c652459502ed22f)
@@ -34,4 +34,6 @@
 #include <mm/km.h>
 #include <config.h>
+#include <typedefs.h>
+#include <macros.h>
 
 void km_identity_arch_init(void)
@@ -47,4 +49,10 @@
 }
 
+bool km_is_non_identity_arch(uintptr_t addr)
+{
+	return iswithin(KM_MIPS32_KSSEG_START, KM_MIPS32_KSSEG_SIZE, addr, 1)
+	    || iswithin(KM_MIPS32_KSEG3_START, KM_MIPS32_KSEG3_SIZE, addr, 1);
+}
+
 /** @}
  */