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