Searched refs:utspace (Results 1 - 14 of 14) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/
H A Dutspace.h62 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 Dsplit.h17 #include <allocman/utspace/utspace.h>
65 .utspace = split
H A Dtwinkle.h17 #include <allocman/utspace/utspace.h>
54 .utspace = twinkle
H A Dvka.h17 #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 Dallocman.h60 #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 Dbootstrap.h60 #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 Dexample_bootstrap.c20 #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 Dallocman.c114 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 Dvka.c22 #include <allocman/utspace/vka.h>
158 * @param target cookie to the allocation as given by the utspace alloc function
H A Dbootstrap.c20 #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 Dsimple.c16 #include <allocman/utspace/utspace.h>
H A Dentry.c27 #include <allocman/utspace/utspace.h>
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/
H A Dtwinkle.c14 #include <allocman/utspace/twinkle.h>
H A Dsplit.c14 #include <allocman/utspace/split.h>

Completed in 107 milliseconds