Index: kernel/arch/amd64/include/mm/km.h
===================================================================
--- kernel/arch/amd64/include/mm/km.h	(revision 55896b6837c19f8fe505af9cbe31069aa02c168b)
+++ kernel/arch/amd64/include/mm/km.h	(revision ec1c8e6e352b3d48ddb5e318e01afc0a65d3b57a)
@@ -36,4 +36,10 @@
 #define KERN_amd64_KM_H_
 
+#define KM_AMD64_IDENTITY_START		UINT64_C(0xffff800000000000)
+#define KM_AMD64_IDENTITY_SIZE		UINT64_C(0x0000400000000000)
+
+#define KM_AMD64_NON_IDENTITY_START	UINT64_C(0xffffc00000000000)
+#define KM_AMD64_NON_IDENTITY_SIZE	UINT64_C(0x0000400000000000)
+
 extern void km_identity_arch_init(void);
 extern void km_non_identity_arch_init(void);