Searched refs:CONFIG_PROCSERV_INITIAL_MEM_SIZE (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.c28 #ifndef CONFIG_PROCSERV_INITIAL_MEM_SIZE
29 #define CONFIG_PROCSERV_INITIAL_MEM_SIZE (4096 * 32) macro
33 static char _procservInitialMemPool[CONFIG_PROCSERV_INITIAL_MEM_SIZE];
72 s->allocman = bootstrap_use_bootinfo(info, CONFIG_PROCSERV_INITIAL_MEM_SIZE,
/seL4-refos-master/apps/process_server/src/
H A Dstate.c28 #ifndef CONFIG_PROCSERV_INITIAL_MEM_SIZE
29 #define CONFIG_PROCSERV_INITIAL_MEM_SIZE (4096 * 32) macro
33 static char _procservInitialMemPool[CONFIG_PROCSERV_INITIAL_MEM_SIZE];
72 s->allocman = bootstrap_use_bootinfo(info, CONFIG_PROCSERV_INITIAL_MEM_SIZE,

Completed in 35 milliseconds