diff options
Diffstat (limited to 'c/src/exec')
-rw-r--r-- | c/src/exec/sapi/headers/confdefs.h | 7 | ||||
-rw-r--r-- | c/src/exec/sapi/include/confdefs.h | 7 |
2 files changed, 12 insertions, 2 deletions
diff --git a/c/src/exec/sapi/headers/confdefs.h b/c/src/exec/sapi/headers/confdefs.h index 854de233b8..eca1cf609b 100644 --- a/c/src/exec/sapi/headers/confdefs.h +++ b/c/src/exec/sapi/headers/confdefs.h @@ -411,6 +411,11 @@ posix_initialization_threads_table POSIX_Initialization_threads[] = { #define CONFIGURE_MEMORY_FOR_MP 0 #endif + +#ifndef CONFIGURE_MEMORY_USER_OVERHEAD +#define CONFIGURE_MEMORY_USER_OVERHEAD (96 * 1024) +#endif + #define CONFIGURE_EXECUTIVE_RAM_SIZE \ (( CONFIGURE_MEMORY_FOR_TASKS(CONFIGURE_MAXIMUM_TASKS) + \ CONFIGURE_MEMORY_FOR_TIMERS(CONFIGURE_MAXIMUM_TIMERS) + \ @@ -423,7 +428,7 @@ posix_initialization_threads_table POSIX_Initialization_threads[] = { CONFIGURE_MEMORY_FOR_USER_EXTENSIONS(CONFIGURE_MAXIMUM_USER_EXTENSIONS) + \ CONFIGURE_MEMORY_FOR_DEVICES(CONFIGURE_MAXIMUM_DEVICES) + \ CONFIGURE_MEMORY_FOR_MP + \ - (96*1024) \ + CONFIGURE_MEMORY_USER_OVERHEAD \ ) & 0xffff8000) #endif diff --git a/c/src/exec/sapi/include/confdefs.h b/c/src/exec/sapi/include/confdefs.h index 854de233b8..eca1cf609b 100644 --- a/c/src/exec/sapi/include/confdefs.h +++ b/c/src/exec/sapi/include/confdefs.h @@ -411,6 +411,11 @@ posix_initialization_threads_table POSIX_Initialization_threads[] = { #define CONFIGURE_MEMORY_FOR_MP 0 #endif + +#ifndef CONFIGURE_MEMORY_USER_OVERHEAD +#define CONFIGURE_MEMORY_USER_OVERHEAD (96 * 1024) +#endif + #define CONFIGURE_EXECUTIVE_RAM_SIZE \ (( CONFIGURE_MEMORY_FOR_TASKS(CONFIGURE_MAXIMUM_TASKS) + \ CONFIGURE_MEMORY_FOR_TIMERS(CONFIGURE_MAXIMUM_TIMERS) + \ @@ -423,7 +428,7 @@ posix_initialization_threads_table POSIX_Initialization_threads[] = { CONFIGURE_MEMORY_FOR_USER_EXTENSIONS(CONFIGURE_MAXIMUM_USER_EXTENSIONS) + \ CONFIGURE_MEMORY_FOR_DEVICES(CONFIGURE_MAXIMUM_DEVICES) + \ CONFIGURE_MEMORY_FOR_MP + \ - (96*1024) \ + CONFIGURE_MEMORY_USER_OVERHEAD \ ) & 0xffff8000) #endif |