Searched defs:_mspace_virtual_pool_free (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/mspace/ | ||
H A D | virtual_pool.c | 124 void _mspace_virtual_pool_free(struct allocman *alloc, void *_virtual_pool, void *ptr, size_t bytes) function |
Completed in 72 milliseconds