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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Ddual_pool.c18 void mspace_dual_pool_create(mspace_dual_pool_t *dual_pool, struct mspace_fixed_pool_config config)
20 *dual_pool = (mspace_dual_pool_t) {
28 void mspace_dual_pool_attach_virtual(mspace_dual_pool_t *dual_pool, struct mspace_virtual_pool_config config) {
35 mspace_dual_pool_t *dual_pool = (mspace_dual_pool_t*)_dual_pool;
51 mspace_dual_pool_t *dual_pool = (mspace_dual_pool_t*)_dual_pool;
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/
H A Ddual_pool.h32 } mspace_dual_pool_t; typedef in typeref:struct:mspace_dual_pool
34 void mspace_dual_pool_create(mspace_dual_pool_t *dual_pool, struct mspace_fixed_pool_config config);
35 void mspace_dual_pool_attach_virtual(mspace_dual_pool_t *dual_pool, struct mspace_virtual_pool_config config);
40 static inline struct mspace_interface mspace_dual_pool_make_interface(mspace_dual_pool_t *dual_pool) {
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c88 mspace_dual_pool_t *mspace;
96 mspace = (mspace_dual_pool_t*)cur_pool;
1275 (mspace_dual_pool_t*)alloc->mspace.mspace,

Completed in 77 milliseconds