libsel4allocman/src/vka.c

85  * @param size_bits the size of the object to allocate (as passed to Untyped_Retype)
91                 seL4_Word type, seL4_Word size_bits, bool can_use_dev, seL4_Word *res)
99     /* allocman uses the size in memory internally, where as vka expects size_bits
101     size_bits = vka_get_object_size(type, size_bits);
103     *res = allocman_utspace_alloc((allocman_t *) data, size_bits, type, (cspacepath_t*)dest, can_use_dev, &error);
114  * @param size_bits the size of the object to allocate (as passed to Untyped_Retype)
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);
129  * @param size_bits the size of the object to allocate (as passed to Untyped_Retype)
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)
142     /* allocman uses the size in memory internally, where as vka expects size_bits
144     size_bits = vka_get_object_size(type, size_bits);
146     *res = allocman_utspace_alloc_at((allocman_t *) data, size_bits, type, (cspacepath_t*)dest, paddr, true, &error);
157  * @param size_bits the size of the object that was allocated (as passed to Untyped_Retype)
160 static void am_vka_utspace_free (void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target)
164     /* allocman uses the size in memory internally, where as vka expects size_bits
166     size_bits = vka_get_object_size(type, size_bits);
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)
175     /* allocman uses the size in memory internally, where as vka expects size_bits
177     size_bits = vka_get_object_size(type, size_bits);
179     return allocman_utspace_paddr((allocman_t *)data, target, size_bits);