#define SHARED_REGION_BASE_X86_64 0x00007FFF70000000ULL
#define SHARED_REGION_SIZE_X86_64 0x000000008FE00000ULL
-#define SHARED_REGION_NESTING_BASE_X86_64 0x00007FFF80000000ULL
-#define SHARED_REGION_NESTING_SIZE_X86_64 0x0000000040000000ULL
+#define SHARED_REGION_NESTING_BASE_X86_64 0x00007FFF70000000ULL
+#define SHARED_REGION_NESTING_SIZE_X86_64 0x000000008FE00000ULL
#define SHARED_REGION_NESTING_MIN_X86_64 0x0000000000200000ULL
#define SHARED_REGION_NESTING_MAX_X86_64 0xFFFFFFFFFFE00000ULL
#define SHARED_REGION_NESTING_MIN_PPC64 0x0000000010000000ULL
#define SHARED_REGION_NESTING_MAX_PPC64 0x0000000010000000ULL
-#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_BASE_ARM 0x1A000000ULL
+#define SHARED_REGION_SIZE_ARM 0x26000000ULL
+#define SHARED_REGION_NESTING_BASE_ARM 0x1A000000ULL
+#define SHARED_REGION_NESTING_SIZE_ARM 0x26000000ULL
#define SHARED_REGION_NESTING_MIN_ARM ?
#define SHARED_REGION_NESTING_MAX_ARM ?
/* ARM64_TODO: move to higher memory */
#endif
#define SHARED_REGION_BASE_ARM64 0x180000000ULL
-#define SHARED_REGION_SIZE_ARM64 0x28000000ULL
+#define SHARED_REGION_SIZE_ARM64 0x40000000ULL
#define SHARED_REGION_NESTING_BASE_ARM64 0x180000000ULL
-#define SHARED_REGION_NESTING_SIZE_ARM64 0x28000000ULL
+#define SHARED_REGION_NESTING_SIZE_ARM64 0x40000000ULL
#define SHARED_REGION_NESTING_MIN_ARM64 ?
#define SHARED_REGION_NESTING_MAX_ARM64 ?