Index: kernel/arch/abs32le/include/mm/km.h
===================================================================
--- kernel/arch/abs32le/include/mm/km.h	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
+++ kernel/arch/abs32le/include/mm/km.h	(revision 0fd9b3513b2c0cfce8b0c99e0acbaf3470c1bc80)
@@ -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