Index: kernel/arch/abs32le/include/mm/km.h
===================================================================
--- kernel/arch/abs32le/include/mm/km.h	(revision 1c01e6cdfeee9466652e3b2b78ee532b3b041b26)
+++ kernel/arch/abs32le/include/mm/km.h	(revision 1b478f661c486eaaf171a6561c652459502ed22f)
@@ -36,6 +36,9 @@
 #define KERN_abs32le_KM_H_
 
+#include <typedefs.h>
+
 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
Index: kernel/arch/abs32le/src/mm/km.c
===================================================================
--- kernel/arch/abs32le/src/mm/km.c	(revision 1c01e6cdfeee9466652e3b2b78ee532b3b041b26)
+++ kernel/arch/abs32le/src/mm/km.c	(revision 1b478f661c486eaaf171a6561c652459502ed22f)
@@ -32,4 +32,5 @@
 
 #include <arch/mm/km.h>
+#include <typedefs.h>
 
 void km_identity_arch_init(void)
@@ -41,4 +42,9 @@
 }
 
+bool km_is_non_identity_arch(uintptr_t addr)
+{
+	return false;
+}
+
 /** @}
  */