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

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.c27 #define ALLOCATOR_VIRTUAL_POOL_SIZE ((1 << seL4_PageBits) * 100) macro
85 ALLOCATOR_VIRTUAL_POOL_SIZE, seL4_AllRights, 1, &vaddr);
92 ALLOCATOR_VIRTUAL_POOL_SIZE, seL4_CapInitThreadPD);
/seL4-refos-master/apps/process_server/src/
H A Dstate.c27 #define ALLOCATOR_VIRTUAL_POOL_SIZE ((1 << seL4_PageBits) * 100) macro
85 ALLOCATOR_VIRTUAL_POOL_SIZE, seL4_AllRights, 1, &vaddr);
92 ALLOCATOR_VIRTUAL_POOL_SIZE, seL4_CapInitThreadPD);

Completed in 79 milliseconds