Searched refs:virtual_pool (Results 1 - 6 of 6) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
| H A D | virtual_pool.c | 13 #include <allocman/mspace/virtual_pool.h>
82 mspace_virtual_pool_t *virtual_pool = (mspace_virtual_pool_t*)cookie; local
85 if (virtual_pool->pool_ptr + new_size > virtual_pool->pool_limit) {
89 while (virtual_pool->pool_ptr + new_size > virtual_pool->pool_top) {
91 error = _add_page(virtual_pool->morecore_alloc, virtual_pool->pd, virtual_pool->pool_top);
96 virtual_pool
103 mspace_virtual_pool_create(mspace_virtual_pool_t *virtual_pool, struct mspace_virtual_pool_config config) argument
116 mspace_virtual_pool_t *virtual_pool = (mspace_virtual_pool_t*)_virtual_pool; local
126 mspace_virtual_pool_t *virtual_pool = (mspace_virtual_pool_t*)_virtual_pool; local
[all...] |
| H A D | dual_pool.c | 29 mspace_virtual_pool_create(&dual_pool->virtual_pool, config);
39 void *ret = _mspace_virtual_pool_alloc(alloc, &dual_pool->virtual_pool, bytes, &_error);
55 _mspace_virtual_pool_free(alloc, &dual_pool->virtual_pool, ptr, bytes);
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
| H A D | virtual_pool.h | 38 void mspace_virtual_pool_create(mspace_virtual_pool_t *virtual_pool, struct mspace_virtual_pool_config config);
43 static inline struct mspace_interface mspace_virtual_pool_make_interface(mspace_virtual_pool_t *virtual_pool) { argument
48 .mspace = virtual_pool
|
| H A D | dual_pool.h | 21 #include <allocman/mspace/virtual_pool.h>
31 mspace_virtual_pool_t virtual_pool; member in struct:mspace_dual_pool
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | bootstrap.h | 59 #include <allocman/mspace/virtual_pool.h>
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 22 #include <allocman/mspace/virtual_pool.h>
|
Completed in 35 milliseconds