Searched defs:fixed_pool (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/
H A Ddual_pool.h29 mspace_fixed_pool_t fixed_pool; member in struct:mspace_dual_pool
H A Dfixed_pool.h40 static inline struct mspace_interface mspace_fixed_pool_make_interface(mspace_fixed_pool_t *fixed_pool) { argument
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Dfixed_pool.c22 mspace_fixed_pool_t *fixed_pool = (mspace_fixed_pool_t*)cookie; local
33 void mspace_fixed_pool_create(mspace_fixed_pool_t *fixed_pool, struct mspace_fixed_pool_config config) argument
47 mspace_fixed_pool_t *fixed_pool = (mspace_fixed_pool_t*)_fixed_pool; local
59 mspace_fixed_pool_t *fixed_pool = (mspace_fixed_pool_t*)_fixed_pool; local
[all...]

Completed in 36 milliseconds