#define SHARED_REGION_NESTING_MIN_PPC64 0x0000000010000000ULL
#define SHARED_REGION_NESTING_MAX_PPC64 0x0000000010000000ULL
-#define SHARED_REGION_BASE_ARM 0x2C000000ULL
-#define SHARED_REGION_SIZE_ARM 0x14000000ULL
-#define SHARED_REGION_NESTING_BASE_ARM 0x2C000000ULL
-#define SHARED_REGION_NESTING_SIZE_ARM 0x14000000ULL
+#define SHARED_REGION_BASE_ARM 0x20000000ULL
+#define SHARED_REGION_SIZE_ARM 0x20000000ULL
+#define SHARED_REGION_NESTING_BASE_ARM 0x20000000ULL
+#define SHARED_REGION_NESTING_SIZE_ARM 0x20000000ULL
#define SHARED_REGION_NESTING_MIN_ARM ?
#define SHARED_REGION_NESTING_MAX_ARM ?
+#ifdef XNU_KERNEL_PRIVATE
+/* ARM64_TODO: move to higher memory */
+#endif
+#define SHARED_REGION_BASE_ARM64 0x180000000ULL
+#define SHARED_REGION_SIZE_ARM64 0x28000000ULL
+#define SHARED_REGION_NESTING_BASE_ARM64 0x180000000ULL
+#define SHARED_REGION_NESTING_SIZE_ARM64 0x28000000ULL
+#define SHARED_REGION_NESTING_MIN_ARM64 ?
+#define SHARED_REGION_NESTING_MAX_ARM64 ?
+
#if defined(__i386__)
#define SHARED_REGION_BASE SHARED_REGION_BASE_I386
#define SHARED_REGION_SIZE SHARED_REGION_SIZE_I386