Searched refs:pool (Results 1 - 25 of 40) sorted by relevance

12

/seL4-refos-master/libs/libsel4allocman/include/allocman/
H A Dbootstrap.h36 * 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 Dbootstrap.h36 * 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 Dcoat.c21 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 Dcoat.c21 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 Dcrt0.S48 .pool
/seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/arm_hyp/
H A Dcrt0.S48 .pool
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/aarch32/
H A Dcrt0.S48 .pool
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/arm_hyp/
H A Dcrt0.S48 .pool
/seL4-refos-master/libs/libsel4allocman/src/mspace/
H A Ddual_pool.c21 .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 Dfixed_pool.c36 fixed_pool->pool_ptr = (uintptr_t)config.pool;
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Ddual_pool.c21 .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 Dfixed_pool.c36 fixed_pool->pool_ptr = (uintptr_t)config.pool;
/seL4-refos-master/libs/librefos/include/refos-util/
H A Dwalloc.h40 cbpool_t pool; member in struct:walloc_state_s
/seL4-refos-master/libs/libsel4allocman/include/allocman/mspace/
H A Dfixed_pool.h22 /* 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 Dcoat.h35 cpool_t /* indexes */ pool; member in struct:coat_s
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Dwalloc.h40 cbpool_t pool; member in struct:walloc_state_s
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/
H A Dfixed_pool.h22 /* 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 Dcoat.h35 cpool_t /* indexes */ pool; member in struct:coat_s
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dwalloc.c44 /* 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 Dwalloc.c44 /* 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 Dsp_lev.h135 } pool; typedef in typeref:struct:__anon716
217 pool **pools;
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dsp_lev.h135 } pool; typedef in typeref:struct:__anon38
217 pool **pools;
/seL4-refos-master/libs/libsel4allocman/src/
H A Dbootstrap.c85 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 Dbootstrap.c85 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 Dvspace.h51 void deleteASIDPool(asid_t base, asid_pool_t *pool);

Completed in 167 milliseconds

12