Searched refs:alloc (Results 1 - 25 of 75) sorted by relevance

123

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c22 static int _refill_watermark(allocman_t *alloc);
40 static int _start_operation(allocman_t *alloc) argument
42 int ret = !alloc->in_operation;
43 alloc->in_operation = 1;
47 static inline void _end_operation(allocman_t *alloc, int root) argument
49 alloc->in_operation = !root;
53 _refill_watermark(alloc);
57 static void allocman_mspace_queue_for_free(allocman_t *alloc, void *ptr, size_t bytes) { argument
58 if (alloc->num_freed_mspace_chunks == alloc
67 allocman_cspace_queue_for_free(allocman_t *alloc, const cspacepath_t *path) argument
76 allocman_utspace_queue_for_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits) argument
102 allocman_cspace_free(allocman_t *alloc, const cspacepath_t *slot) argument
107 allocman_mspace_free(allocman_t *alloc, void *ptr, size_t bytes) argument
112 allocman_utspace_free(allocman_t *alloc, seL4_Word cookie, size_t size_bits) argument
117 _try_watermark_mspace(allocman_t *alloc, size_t size, int *_error) argument
134 _try_watermark_cspace(allocman_t *alloc, cspacepath_t *slot) argument
144 _try_watermark_utspace(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, int *_error) argument
171 _allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error, int use_watermark) argument
220 _allocman_cspace_alloc(allocman_t *alloc, cspacepath_t *slot, int use_watermark) argument
264 _allocman_utspace_alloc(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, uintptr_t paddr, bool canBeDev, int *_error, int use_watermark) argument
313 allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error) argument
318 allocman_cspace_alloc(allocman_t *alloc, cspacepath_t *slot) argument
323 allocman_utspace_alloc_at(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, uintptr_t paddr, bool canBeDev, int *_error) argument
328 _refill_watermark(allocman_t *alloc) argument
423 allocman_create(allocman_t *alloc, struct mspace_interface mspace) argument
433 allocman_fill_reserves(allocman_t *alloc) argument
458 allocman_attach_utspace(allocman_t *alloc, struct utspace_interface utspace) argument
462 allocman_attach_cspace(allocman_t *alloc, struct cspace_interface cspace) argument
466 resize_array(allocman_t *alloc, size_t num, void **array, size_t *size, size_t *count, size_t item_size) argument
499 resize_slots_array(allocman_t *alloc, size_t num, cspacepath_t **slots, size_t *size, size_t *count) argument
503 allocman_configure_cspace_reserve(allocman_t *alloc, size_t num) argument
507 allocman_configure_max_freed_slots(allocman_t *alloc, size_t num) argument
511 allocman_configure_max_freed_memory_chunks(allocman_t *alloc, size_t num) argument
515 allocman_configure_max_freed_untyped_chunks(allocman_t *alloc, size_t num) argument
519 allocman_configure_utspace_reserve(allocman_t *alloc, struct allocman_utspace_chunk chunk) argument
577 allocman_configure_mspace_reserve(allocman_t *alloc, struct allocman_mspace_chunk chunk) argument
636 allocman_add_untypeds_from_timer_objects(allocman_t *alloc, timer_objects_t *to) argument
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/
H A Dreservation.h17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
18 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_ARM_PageDirectoryObject, 0), seL4_ARM_PageDirectoryObject, 1});
19 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_ARM_PageUpperDirectoryObject, 0), seL4_ARM_PageUpperDirectoryObject, 1});
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/sel4_arch/x86_64/allocman/sel4_arch/
H A Dreservation.h17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
18 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_X86_PageDirectoryObject, 0), seL4_X86_PageDirectoryObject, 1});
19 allocman_configure_utspace_reserve(alloc, (struct allocman_utspace_chunk) {vka_get_object_size(seL4_X86_PDPTObject, 0), seL4_X86_PDPTObject, 1});
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/arch/riscv/allocman/arch/
H A Dreservation.h17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/
H A Dreservation.h17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/sel4_arch/arm_hyp/allocman/sel4_arch/
H A Dreservation.h17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/sel4_arch/ia32/allocman/sel4_arch/
H A Dreservation.h17 static inline void allocman_sel4_arch_configure_reservations(allocman_t *alloc) { argument
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dallocman.h117 /* Flag that tracks whether any alloc/free/other function has been entered yet */
120 /* Counts that track re-entry into each specific alloc/free function */
167 * @param alloc Allocman to allocate from
173 void *allocman_mspace_alloc(allocman_t *alloc, size_t bytes, int *_error);
178 * @param alloc Allocman to allocate from
182 void allocman_mspace_free(allocman_t *alloc, void *ptr, size_t bytes);
187 * @param alloc Allocman to allocate from
192 int allocman_cspace_alloc(allocman_t *alloc, cspacepath_t *slot);
197 * (*slot) == allocman_cspace_make_path(alloc, slot->capPtr). So if needed you can simply store
200 * @param alloc Allocma
216 allocman_cspace_make_path(allocman_t *alloc, seL4_CPtr slot) argument
254 allocman_utspace_alloc(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, bool canBeDev, int *_error) argument
390 allocman_utspace_add_uts(allocman_t *alloc, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType) argument
410 allocman_utspace_paddr(allocman_t *alloc, seL4_Word cookie, size_t size_bits) argument
[all...]
H A Dvka.h22 * @param alloc allocator to be used with this vka
25 void allocman_make_vka(vka_t *vka, allocman_t *alloc);
35 * @param alloc Interface to fill out
38 int allocman_make_from_vka(vka_t *vka, allocman_t *alloc);
H A Dcspaceops.h22 static inline int cspace_move_alloc(allocman_t *alloc, cspacepath_t src, cspacepath_t *result) { argument
24 error = allocman_cspace_alloc(alloc, result);
31 static inline int cspace_move_alloc_cptr(allocman_t *alloc, cspace_interface_t source_cspace, seL4_CPtr slot, cspacepath_t *result) { argument
32 return cspace_move_alloc(alloc, source_cspace.make_path(source_cspace.cspace, slot), result);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/
H A Dmspace.h21 void *(*alloc)(struct allocman *alloc, void *cookie, size_t bytes, int *error); member in struct:mspace_interface
22 void (*free)(struct allocman *alloc, void *cookie, void *ptr, size_t bytes);
H A Dmalloc.h29 void *_mspace_malloc_alloc(struct allocman *alloc, void *unused, size_t bytes, int *error);
30 void _mspace_malloc_free(struct allocman *alloc, void *unsued, void *ptr, size_t bytes);
33 .alloc = _mspace_malloc_alloc,
H A Dnull.h24 static inline void *_mspace_null_alloc(struct allocman *alloc, void *unused, size_t bytes, int *error) argument
30 static inline void _mspace_null_free(struct allocman *alloc, void *unused, void *ptr, size_t bytes) argument
36 .alloc = _mspace_null_alloc,
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/
H A Dcspace.h22 int (*alloc)(struct allocman *alloc, void *cookie, cspacepath_t *path); member in struct:cspace_interface
23 void (*free)(struct allocman *alloc, void *cookie, const cspacepath_t *path);
H A Dvka.h29 static int _cspace_vka_alloc(struct allocman *alloc, void *_cspace, cspacepath_t *slot) argument
32 (void)alloc;
35 static void _cspace_vka_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot) argument
38 (void)alloc;
51 .alloc = _cspace_vka_alloc,
H A Dtwo_level.h70 int cspace_two_level_create(struct allocman *alloc, cspace_two_level_t *cspace, struct cspace_two_level_config config);
71 void cspace_two_level_destroy(struct allocman *alloc, cspace_two_level_t *cspace);
73 seL4_CPtr _cspace_two_level_boot_alloc(struct allocman *alloc, void *_cspace, int *error);
74 int _cspace_two_level_alloc(struct allocman *alloc, void *_cspace, cspacepath_t *slot);
75 void _cspace_two_level_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot);
76 int _cspace_two_level_alloc_at(struct allocman *alloc, void *_cspace, seL4_CPtr slot);
82 .alloc = _cspace_two_level_alloc,
H A Dsingle_level.h40 int cspace_single_level_create(struct allocman *alloc, cspace_single_level_t *cspace, struct cspace_single_level_config config);
43 void cspace_single_level_destroy(struct allocman *alloc, cspace_single_level_t *cspace);
45 int _cspace_single_level_alloc(struct allocman *alloc, void *_cspace, cspacepath_t *slot);
46 int _cspace_single_level_alloc_at(struct allocman *alloc, void *_cspace, seL4_CPtr slot);
47 void _cspace_single_level_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot);
65 .alloc = _cspace_single_level_alloc,
/seL4-camkes-master/projects/capdl/python-capdl-tool/examples/
H A Dallocation.py22 my_cnode = obj_allocator.alloc(capdl.ObjectType.seL4_CapTableObject, size_bits=28)
27 my_tcb = obj_allocator.alloc(capdl.ObjectType.seL4_TCBObject)
28 tcb_slot = cap_allocator.alloc(my_tcb)
29 cnode_slot = cap_allocator.alloc(my_cnode)
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/cspace/
H A Dtwo_level.c55 static int _create_second_level(allocman_t *alloc, cspace_two_level_t *cspace, size_t index, int alloc_node) argument
67 cspace->second_levels[index] = (struct cspace_two_level_node *) allocman_mspace_alloc(alloc,
74 cspace->second_levels[index]->cookie = allocman_utspace_alloc(alloc, cspace->config.level_two_bits + seL4_SlotBits,
81 allocman_mspace_free(alloc, cspace->second_levels[index], sizeof(struct cspace_two_level_node));
85 error = cspace_single_level_create(alloc, &cspace->second_levels[index]->second_level, single_config);
87 allocman_utspace_free(alloc, cspace->second_levels[index]->cookie, cspace->config.level_two_bits + seL4_SlotBits);
88 allocman_mspace_free(alloc, cspace->second_levels[index], sizeof(struct cspace_two_level_node));
96 int cspace_two_level_create(allocman_t *alloc, cspace_two_level_t *cspace, struct cspace_two_level_config config) argument
108 cspace->second_levels = (struct cspace_two_level_node **)allocman_mspace_alloc(alloc,
113 error = cspace_single_level_create(alloc,
146 _cspace_two_level_alloc_at(allocman_t *alloc, void *_cspace, seL4_CPtr slot) argument
174 _cspace_two_level_alloc(allocman_t *alloc, void *_cspace, cspacepath_t *slot) argument
220 _destroy_second_level(allocman_t *alloc, cspace_two_level_t *cspace, size_t index) argument
235 _cspace_two_level_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot) argument
253 cspace_two_level_destroy(struct allocman *alloc, cspace_two_level_t *cspace) argument
[all...]
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/
H A Dtest_allocator.hpp30 allocator (const allocator& alloc) throw() argument
31 :alloc_(alloc.alloc_) {}
33 allocator (const allocator<U>& alloc) throw() argument
34 :alloc_(alloc.alloc_) {}
43 allocator (const allocator& alloc) noexcept
44 :alloc_(alloc.alloc_) {}
46 allocator (const allocator<U>& alloc) noexcept
47 :alloc_(alloc.alloc_) {}
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Dmalloc.c18 void *_mspace_malloc_alloc(allocman_t *alloc, void *unused, size_t bytes, int *error) argument
25 void _mspace_malloc_free(allocman_t *alloc, void *unsued, void *ptr, size_t bytes) argument
H A Ddual_pool.c33 void *_mspace_dual_pool_alloc(allocman_t *alloc, void *_dual_pool, size_t bytes, int *error) argument
39 void *ret = _mspace_virtual_pool_alloc(alloc, &dual_pool->virtual_pool, bytes, &_error);
46 return _mspace_fixed_pool_alloc(alloc, &dual_pool->fixed_pool, bytes, error);
49 void _mspace_dual_pool_free(struct allocman *alloc, void *_dual_pool, void *ptr, size_t bytes) argument
53 _mspace_fixed_pool_free(alloc, &dual_pool->fixed_pool, ptr, bytes);
55 _mspace_virtual_pool_free(alloc, &dual_pool->virtual_pool, ptr, bytes);
H A Dvirtual_pool.c26 static int _add_page(allocman_t *alloc, seL4_CPtr pd, void *vaddr) argument
31 error = allocman_cspace_alloc(alloc, &frame_path);
36 frame_cookie = allocman_utspace_alloc(alloc, seL4_PageBits, seL4_ARCH_4KPage, &frame_path, true, &error);
38 allocman_cspace_free(alloc, &frame_path);
45 error = allocman_cspace_alloc(alloc, &path);
55 seL4_Word cookie = allocman_utspace_alloc(alloc, obj.size_bits, obj.type, &path, false, &error);
57 allocman_cspace_free(alloc, &path);
63 allocman_utspace_free(alloc, cookie, seL4_PageTableBits);
64 allocman_cspace_free(alloc, &path);
69 allocman_cspace_free(alloc,
113 _mspace_virtual_pool_alloc(struct allocman *alloc, void *_virtual_pool, size_t bytes, int *error) argument
124 _mspace_virtual_pool_free(struct allocman *alloc, void *_virtual_pool, void *ptr, size_t bytes) argument
[all...]
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/include/msgpack/
H A Dsbuffer.h30 size_t alloc; member in struct:msgpack_sbuffer
63 if(sbuf->alloc - sbuf->size < len) {
65 size_t nsize = (sbuf->alloc) ?
66 sbuf->alloc * 2 : MSGPACK_SBUFFER_INIT_SIZE;
81 sbuf->alloc = nsize;
94 sbuf->alloc = 0;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dpage_dma.c39 dma_alloc_t *alloc = (dma_alloc_t *)vspace_get_cookie(&dma->vspace, addr); local
40 assert(alloc);
41 assert(alloc->base == addr);
42 int num_pages = BIT(alloc->ut.size_bits) / PAGE_SIZE_4K;
51 vka_free_object(&dma->vka, &alloc->ut);
52 free(alloc);
58 dma_alloc_t *alloc = (dma_alloc_t *)vspace_get_cookie(&dma->vspace, addr); local
59 if (!alloc) {
62 uint32_t diff = addr - alloc->base;
63 return alloc
71 dma_alloc_t *alloc = NULL; local
[all...]

Completed in 116 milliseconds

123