Searched defs:mspace_virtual_pool_config (Results 1 - 1 of 1) sorted by relevance
| /seL4-test-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ | ||
| H A D | virtual_pool.h | 23 struct mspace_virtual_pool_config { struct |
Completed in 20 milliseconds