@@ -117,11 +117,14 @@
#define XEN_VIRT_START _AT(vaddr_t, MB(2))
#else
+#define IDENTITY_MAPPING_AREA_NR_L0 4
+#define XEN_VM_MAPPING SLOT0(IDENTITY_MAPPING_AREA_NR_L0)
+
#define SLOT0_ENTRY_BITS 39
#define SLOT0(slot) (_AT(vaddr_t,slot) << SLOT0_ENTRY_BITS)
#define SLOT0_ENTRY_SIZE SLOT0(1)
-#define XEN_VIRT_START (SLOT0(4) + _AT(vaddr_t, MB(2)))
+#define XEN_VIRT_START (XEN_VM_MAPPING + _AT(vaddr_t, MB(2)))
#endif
/*
@@ -184,12 +187,10 @@
#else /* ARM_64 */
-#define IDENTITY_MAPPING_AREA_NR_L0 4
-
-#define VMAP_VIRT_START (SLOT0(4) + GB(1))
+#define VMAP_VIRT_START (XEN_VM_MAPPING + GB(1))
#define VMAP_VIRT_SIZE GB(1)
-#define FRAMETABLE_VIRT_START (SLOT0(4) + GB(32))
+#define FRAMETABLE_VIRT_START (XEN_VM_MAPPING + GB(32))
#define FRAMETABLE_SIZE GB(32)
#define FRAMETABLE_NR (FRAMETABLE_SIZE / sizeof(*frame_table))