Searched defs:fixed_pool_start (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ | ||
| H A D | dual_pool.h | 27 size_t fixed_pool_start; member in struct:mspace_dual_pool |
Completed in 27 milliseconds