/seL4-refos-master/libs/libsel4allocman/include/allocman/ |
H A D | bootstrap.h | 36 * Bootstrapping here requires some initial 'pool' of memory. This is memory that 39 * it multiple times. Unfortunately this pool is the 'magic' that allows the allocators 40 * to kick themselves going, and cannot be provided for you. The actual size of the pool 73 * as its memory manager. For the purposes of bootstrapping only the fixed pool (as 74 * passed to the boot strapping functions) is used. If you want to use a virtual pool 76 * static pool) then this function will initial the virtual pool after the fact. The 97 * @param pool_size Size of the initial pool. See file comments for details 98 * @param pool Initial pool [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | bootstrap.h | 36 * Bootstrapping here requires some initial 'pool' of memory. This is memory that 39 * it multiple times. Unfortunately this pool is the 'magic' that allows the allocators 40 * to kick themselves going, and cannot be provided for you. The actual size of the pool 73 * as its memory manager. For the purposes of bootstrapping only the fixed pool (as 74 * passed to the boot strapping functions) is used. If you want to use a virtual pool 76 * static pool) then this function will initial the virtual pool after the fact. The 97 * @param pool_size Size of the initial pool. See file comments for details 98 * @param pool Initial pool [all...] |
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/src/ |
H A D | coat.c | 21 cpool_init(&t->pool, start, end); 36 cpool_release(&t->pool); 43 int id = cpool_alloc(&t->pool); 75 if (id) cpool_free(&t->pool, id); 80 if (!t || id < t->pool.start || id >= t->pool.end || id >= cvector_count(&t->table)) { 88 if (cpool_check(&t->pool, id)) { 101 cpool_free(&t->pool, id);
|
/seL4-refos-master/libs/libdatastruct/src/ |
H A D | coat.c | 21 cpool_init(&t->pool, start, end); 36 cpool_release(&t->pool); 43 int id = cpool_alloc(&t->pool); 75 if (id) cpool_free(&t->pool, id); 80 if (!t || id < t->pool.start || id >= t->pool.end || id >= cvector_count(&t->table)) { 88 if (cpool_check(&t->pool, id)) { 101 cpool_free(&t->pool, id);
|
/seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/aarch32/ |
H A D | crt0.S | 48 .pool
|
/seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/arm_hyp/ |
H A D | crt0.S | 48 .pool
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/aarch32/ |
H A D | crt0.S | 48 .pool
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/arm_hyp/ |
H A D | crt0.S | 48 .pool
|
/seL4-refos-master/libs/libsel4allocman/src/mspace/ |
H A D | dual_pool.c | 21 .fixed_pool_start = (uintptr_t)config.pool, 22 .fixed_pool_end = (size_t)config.pool + config.size, 36 /* if we have a virtual pool try and use this instead of wasting time in the fixed pool */ 45 /* try from the fixed pool */
|
H A D | fixed_pool.c | 36 fixed_pool->pool_ptr = (uintptr_t)config.pool;
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | dual_pool.c | 21 .fixed_pool_start = (uintptr_t)config.pool, 22 .fixed_pool_end = (size_t)config.pool + config.size, 36 /* if we have a virtual pool try and use this instead of wasting time in the fixed pool */ 45 /* try from the fixed pool */
|
H A D | fixed_pool.c | 36 fixed_pool->pool_ptr = (uintptr_t)config.pool;
|
/seL4-refos-master/libs/librefos/include/refos-util/ |
H A D | walloc.h | 40 cbpool_t pool; member in struct:walloc_state_s
|
/seL4-refos-master/libs/libsel4allocman/include/allocman/mspace/ |
H A D | fixed_pool.h | 22 /* Performs allocation from a fixed pool of memory */ 25 void *pool; member in struct:mspace_fixed_pool_config
|
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/ |
H A D | coat.h | 35 cpool_t /* indexes */ pool; member in struct:coat_s
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
H A D | walloc.h | 40 cbpool_t pool; member in struct:walloc_state_s
|
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
H A D | fixed_pool.h | 22 /* Performs allocation from a fixed pool of memory */ 25 void *pool; member in struct:mspace_fixed_pool_config
|
/seL4-refos-master/libs/libdatastruct/include/data_struct/ |
H A D | coat.h | 35 cpool_t /* indexes */ pool; member in struct:coat_s
|
/seL4-refos-master/libs/librefos/src/refos-util/ |
H A D | walloc.c | 44 /* Initialise the bitmap pool which keeps track of allocated portions of vspace. */ 48 cbpool_init(&ws->pool, ws->npages); 62 cbpool_release(&ws->pool); 78 uint32_t startPage = cbpool_alloc(&ws->pool, npages); 93 cbpool_free(&ws->pool, startPage, npages); 140 cbpool_free(&ws->pool, walloc_list_get_start_page(ws, addr), npages);
|
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | walloc.c | 44 /* Initialise the bitmap pool which keeps track of allocated portions of vspace. */ 48 cbpool_init(&ws->pool, ws->npages); 62 cbpool_release(&ws->pool); 78 uint32_t startPage = cbpool_alloc(&ws->pool, npages); 93 cbpool_free(&ws->pool, startPage, npages); 140 cbpool_free(&ws->pool, walloc_list_get_start_page(ws, addr), npages);
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | sp_lev.h | 135 } pool; typedef in typeref:struct:__anon716 217 pool **pools;
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | sp_lev.h | 135 } pool; typedef in typeref:struct:__anon38 217 pool **pools;
|
/seL4-refos-master/libs/libsel4allocman/src/ |
H A D | bootstrap.c | 85 allocman_t *bootstrap_create_allocman(size_t pool_size, void *pool) { argument 86 uintptr_t cur_pool = (uintptr_t)pool; 91 /* first align the pool */ 93 /* carve off some of the pool for the allocman and memory allocator itself */ 99 LOG_ERROR("Initial memory pool too small"); 415 LOG_ERROR("Initial memory pool too small to allocate cspace allocator"); 679 LOG_ERROR("Initial memory pool too small to allocate untyped allocator"); 699 bootstrap_info_t *bootstrap_create_info(size_t pool_size, void *pool) { argument 702 /* bootstrap an allocman from the pool */ 703 alloc = bootstrap_create_allocman(pool_size, pool); 743 bootstrap_use_current_1level(seL4_CPtr root_cnode, size_t cnode_size, seL4_CPtr start_slot, seL4_CPtr end_slot, size_t pool_size, void *pool) argument 877 _start_new_from_bootinfo(seL4_BootInfo *bi, size_t pool_size, void *pool) argument 916 bootstrap_new_1level_bootinfo(seL4_BootInfo *bi, size_t cnode_size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace) argument 937 bootstrap_new_2level_bootinfo(seL4_BootInfo *bi, size_t l1size, size_t l2size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace) argument 1149 bootstrap_use_current_simple(simple_t *simple, size_t pool_size, void *pool) argument 1167 bootstrap_new_simple(simple_t *simple, int levels, size_t l1size, size_t l2size, size_t pool_size, void *pool) argument 1219 bootstrap_new_1level_simple(simple_t *simple, size_t l1size, size_t pool_size, void *pool) argument 1223 bootstrap_new_2level_simple(simple_t *simple, size_t l1size, size_t l2size, size_t pool_size, void *pool) argument 1246 bootstrap_use_bootinfo(seL4_BootInfo *bi, size_t pool_size, void *pool) argument [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | bootstrap.c | 85 allocman_t *bootstrap_create_allocman(size_t pool_size, void *pool) { argument 86 uintptr_t cur_pool = (uintptr_t)pool; 91 /* first align the pool */ 93 /* carve off some of the pool for the allocman and memory allocator itself */ 99 LOG_ERROR("Initial memory pool too small"); 415 LOG_ERROR("Initial memory pool too small to allocate cspace allocator"); 679 LOG_ERROR("Initial memory pool too small to allocate untyped allocator"); 699 bootstrap_info_t *bootstrap_create_info(size_t pool_size, void *pool) { argument 702 /* bootstrap an allocman from the pool */ 703 alloc = bootstrap_create_allocman(pool_size, pool); 743 bootstrap_use_current_1level(seL4_CPtr root_cnode, size_t cnode_size, seL4_CPtr start_slot, seL4_CPtr end_slot, size_t pool_size, void *pool) argument 877 _start_new_from_bootinfo(seL4_BootInfo *bi, size_t pool_size, void *pool) argument 916 bootstrap_new_1level_bootinfo(seL4_BootInfo *bi, size_t cnode_size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace) argument 937 bootstrap_new_2level_bootinfo(seL4_BootInfo *bi, size_t l1size, size_t l2size, size_t pool_size, void *pool, cspace_simple1level_t **old_cspace) argument 1149 bootstrap_use_current_simple(simple_t *simple, size_t pool_size, void *pool) argument 1167 bootstrap_new_simple(simple_t *simple, int levels, size_t l1size, size_t l2size, size_t pool_size, void *pool) argument 1219 bootstrap_new_1level_simple(simple_t *simple, size_t l1size, size_t pool_size, void *pool) argument 1223 bootstrap_new_2level_simple(simple_t *simple, size_t l1size, size_t l2size, size_t pool_size, void *pool) argument 1246 bootstrap_use_bootinfo(seL4_BootInfo *bi, size_t pool_size, void *pool) argument [all...] |
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
H A D | vspace.h | 51 void deleteASIDPool(asid_t base, asid_pool_t *pool);
|