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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Ddual_pool.c28 void mspace_dual_pool_attach_virtual(mspace_dual_pool_t *dual_pool, struct mspace_virtual_pool_config config) { function

Completed in 25 milliseconds