/* ARM64_TODO: move to higher memory */
#endif
#define SHARED_REGION_BASE_ARM64 0x180000000ULL
-#define SHARED_REGION_SIZE_ARM64 0x20000000ULL
+#define SHARED_REGION_SIZE_ARM64 0x28000000ULL
#define SHARED_REGION_NESTING_BASE_ARM64 0x180000000ULL
-#define SHARED_REGION_NESTING_SIZE_ARM64 0x20000000ULL
+#define SHARED_REGION_NESTING_SIZE_ARM64 0x28000000ULL
#define SHARED_REGION_NESTING_MIN_ARM64 ?
#define SHARED_REGION_NESTING_MAX_ARM64 ?