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

/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c51 #define ALLOCATOR_STATIC_POOL_SIZE ((PAGE_SIZE_4K) * 20) macro
52 static char allocator_mem_pool[ALLOCATOR_STATIC_POOL_SIZE];
164 ALLOCATOR_STATIC_POOL_SIZE,

Completed in 80 milliseconds