/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
H A D | utspace.h | 62 seL4_Word (*alloc)(struct allocman *alloc, void *utspace, size_t size_bits, seL4_Word object_type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDevice, int *error); 63 void (*free)(struct allocman *alloc, void *utspace, seL4_Word cookie, size_t size_bits); 64 int (*add_uts)(struct allocman *alloc, void *utspace, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType); 65 uintptr_t (*paddr)(void *utspace, seL4_Word cookie, size_t size_bits); 67 void *utspace; member in struct:utspace_interface
|
H A D | split.h | 17 #include <allocman/utspace/utspace.h> 65 .utspace = split
|
H A D | twinkle.h | 17 #include <allocman/utspace/utspace.h> 54 .utspace = twinkle
|
H A D | vka.h | 17 #include <allocman/utspace/utspace.h> 77 * Make a utspace interface from a VKA. It is the responsibility of the caller to ensure 90 .utspace = vka
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | allocman.h | 60 #include <allocman/utspace/utspace.h> 115 struct utspace_interface utspace; member in struct:allocman 157 /* utspace watermark resources */ 295 * @param utspace untyped allocator to attach. This wil lbe permanently linked to this allocator and must keep existing 299 int allocman_attach_utspace(allocman_t *alloc, struct utspace_interface utspace); 393 error = alloc->utspace.add_uts(alloc, alloc->utspace.utspace, num, uts, size_bits, paddr, utType); 412 return alloc->utspace [all...] |
H A D | bootstrap.h | 60 #include <allocman/utspace/twinkle.h> 294 * have an attached cspace or utspace. This function provides the ultimate flexibility
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/ |
H A D | example_bootstrap.c | 20 #include <allocman/utspace/twinkle.h> 23 #include <allocman/utspace/trickle.h> 81 utspace_trickle_t *utspace; local 100 utspace = allocman_mspace_alloc(allocman, sizeof(*utspace), &error); 102 error = allocman_attach_utspace(allocman, utspace_trickle_make_interface(utspace));
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | allocman.c | 114 ALLOCMAN_FREE(alloc, utspace, cookie, size_bits); 275 if (!_can_alloc(alloc->utspace.properties, alloc->utspace_alloc_depth, alloc->utspace_free_depth)) { 279 ZF_LOGI("Failed to allocate utspace from watermark. size %zu type %ld\n", size_bits, (long)type); 290 ret = alloc->utspace.alloc(alloc, alloc->utspace.utspace, size_bits, type, path, paddr, canBeDev, &error); 303 ZF_LOGI("Regular utspace alloc failed and not watermark for size %zu type %ld\n", size_bits, (long)type); 458 int allocman_attach_utspace(allocman_t *alloc, struct utspace_interface utspace) { argument 459 ALLOCMAN_ATTACH(alloc, utspace, utspace); [all...] |
H A D | vka.c | 22 #include <allocman/utspace/vka.h> 158 * @param target cookie to the allocation as given by the utspace alloc function
|
H A D | bootstrap.c | 20 #include <allocman/utspace/split.h> 676 UTMAN_TYPE *utspace; local 677 utspace = allocman_mspace_alloc(bs->alloc, sizeof(*utspace), &error); 682 UTMAN_CREATE(utspace); 684 error = allocman_attach_utspace(bs->alloc, UTMAN_MAKE_INTERFACE(utspace)); 690 error = UTMAN_ADD_UTS(bs->alloc, utspace, 1, &bs->uts[i], &bs->ut_size_bits[i], &bs->ut_paddr[i], bs->ut_isDevice[i] ? ALLOCMAN_UT_DEV : ALLOCMAN_UT_KERNEL); 977 from one utspace manager and deposits into a different utspace manager with 1080 * @param alloc an allocman with a cspace, mspace and utspace insid [all...] |
/seL4-camkes-master/tools/rumprun/platform/sel4/ |
H A D | simple.c | 16 #include <allocman/utspace/utspace.h>
|
H A D | entry.c | 27 #include <allocman/utspace/utspace.h>
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
H A D | twinkle.c | 14 #include <allocman/utspace/twinkle.h>
|
H A D | split.c | 14 #include <allocman/utspace/split.h>
|