Index: kernel/arch/amd64/include/mm/km.h
===================================================================
--- kernel/arch/amd64/include/mm/km.h	(revision 40c8c17482d672e755c855c6fd5664b0e933e483)
+++ kernel/arch/amd64/include/mm/km.h	(revision 22f05611fe61be707c3bee218be98f8f16f46f17)
@@ -36,4 +36,6 @@
 #define KERN_amd64_KM_H_
 
+#include <typedefs.h>
+
 #define KM_AMD64_IDENTITY_START		UINT64_C(0xffff800000000000)
 #define KM_AMD64_IDENTITY_SIZE		UINT64_C(0x0000400000000000)
@@ -44,4 +46,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