Index: kernel/arch/arm32/include/mm/km.h
===================================================================
--- kernel/arch/arm32/include/mm/km.h	(revision 55896b6837c19f8fe505af9cbe31069aa02c168b)
+++ kernel/arch/arm32/include/mm/km.h	(revision bc428e23afb77940e4c15db93c361ee6efc12ac7)
@@ -36,4 +36,10 @@
 #define KERN_arm32_KM_H_
 
+#define KM_ARM32_IDENTITY_START		UINT32_C(0x80000000)
+#define KM_ARM32_IDENTITY_SIZE		UINT32_C(0x40000000)
+
+#define KM_ARM32_NON_IDENTITY_START	UINT32_C(0xc0000000)
+#define KM_ARM32_NON_IDENTITY_SIZE	UINT32_C(0x40000000)
+
 extern void km_identity_arch_init(void);
 extern void km_non_identity_arch_init(void);