libsel4allocman/src/vka.c

28  * @param data cookie for the underlying allocator
32 static int am_vka_cspace_alloc(void *data, seL4_CPtr *res)
37     assert(data);
40     error = allocman_cspace_alloc((allocman_t *) data, &path);
52  * @param data cookie for the underlying allocator
56 static void am_vka_cspace_make_path (void *data, seL4_CPtr slot, cspacepath_t *res)
58     assert(data);
61     *res = allocman_cspace_make_path((allocman_t*) data, slot);
67  * @param data cookie for the underlying allocator
70 static void am_vka_cspace_free (void *data, seL4_CPtr slot)
73     assert(data);
74     path = allocman_cspace_make_path((allocman_t*)data, slot);
76     allocman_cspace_free((allocman_t *) data, &path);
82  * @param data cookie for the underlying allocator
90 static int am_vka_utspace_alloc_maybe_device (void *data, const cspacepath_t *dest,
95     assert(data);
103     *res = allocman_utspace_alloc((allocman_t *) data, size_bits, type, (cspacepath_t*)dest, can_use_dev, &error);
111  * @param data cookie for the underlying allocator
118 static int am_vka_utspace_alloc (void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, seL4_Word *res)
120     return am_vka_utspace_alloc_maybe_device(data, dest, type, size_bits, false, res);
126  * @param data cookie for the underlying allocator
134 static int am_vka_utspace_alloc_at (void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, uintptr_t paddr, seL4_Word *res)
138     assert(data);
146     *res = allocman_utspace_alloc_at((allocman_t *) data, size_bits, type, (cspacepath_t*)dest, paddr, true, &error);
155  * @param data cookie for the underlying allocator
160 static void am_vka_utspace_free (void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target)
162     assert(data);
168     allocman_utspace_free((allocman_t *)data, target, size_bits);
171 static uintptr_t am_vka_utspace_paddr (void *data, seL4_Word target, seL4_Word type, seL4_Word size_bits)
173     assert(data);
179     return allocman_utspace_paddr((allocman_t *)data, target, size_bits);
193     vka->data = alloc;