libsel4utils/src/slab.c

37     ssize_t size_bits;
46     return obj_b->size_bits - obj_a->size_bits;
70         seL4_Word size_bits, seL4_Word *res)
81         return vka_utspace_alloc(sdata->delegate, dest, type, size_bits, res);
96                                            seL4_Word size_bits, bool can_use_dev, seL4_Word *res)
98     return slab_utspace_alloc(data, dest, type, size_bits, res);
101 static int delegate_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits,
105     return vka_utspace_alloc_at(sdata->delegate, dest, type, size_bits, paddr, res);
109 slab_utspace_free(void *data, seL4_Word type, seL4_Word size_bits, seL4_Word target)
135 static seL4_Error alloc_object(vka_t *delegate, vka_object_t *untyped, size_t size_bits, seL4_Word type,
140     object->size_bits = size_bits;
152     return seL4_Untyped_Retype(untyped->cptr, type, size_bits, path.root, path.dest,
157                              size_t size_bits, seL4_Word type)
159     ZF_LOGI("Preallocating %zu objects of %zu size bits, %lu type\n", n, size_bits, (long) type);
167             ZF_LOGI("Failed to allocate %zu objects of %zu size bits, %lu type", n, size_bits, (long) type);
173         if (alloc_object(delegate, untyped, size_bits, type, &slab->objects[i]) != seL4_NoError) {
223         object_descs[i].size_bits = vka_get_object_size(i, 0);
229     for (int i = 0; i < seL4_ObjectTypeCount && object_descs[i].size_bits != 0; i++) {
232                                   object_freq[type], object_descs[i].size_bits, type);