From 60fed04cb75df2d4545898b827713fc7a4cf856d Mon Sep 17 00:00:00 2001
From: ptitSeb <sebastien.chev@gmail.com>
Date: Fri, 13 Oct 2023 21:17:13 +0200
Subject: Use BOX64_RESERVE_HIGHMEM by default on ADLINK profile

---
 src/custommem.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src')

diff --git a/src/custommem.c b/src/custommem.c
index fb55ac2c..a5f4cf61 100644
--- a/src/custommem.c
+++ b/src/custommem.c
@@ -1631,7 +1631,11 @@ static void atfork_child_custommem(void)
 void reserveHighMem()
 {
     char* p = getenv("BOX64_RESERVE_HIGH");
+    #ifdef ADLINK
+    if(p && p[0]=='0')
+    #else
     if(!p || p[0]=='0')
+    #endif
         return; // don't reserve by default
     intptr_t cur = 1LL<<47;
     mapmem_t* m = mapmem;
-- 
cgit 1.4.1