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