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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Ddual_pool.c21 .fixed_pool_start = (uintptr_t)config.pool,
52 if ( (uintptr_t)ptr >= dual_pool->fixed_pool_start && (uintptr_t)ptr < dual_pool->fixed_pool_end) {
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/
H A Ddual_pool.h27 size_t fixed_pool_start; member in struct:mspace_dual_pool

Completed in 29 milliseconds