Searched defs:delegate (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | slab.c | 29 vka_t *delegate; member in struct:__anon563
135 alloc_object(vka_t *delegate, vka_object_t *untyped, size_t size_bits, seL4_Word type, vka_object_t *object) argument
156 alloc_object_slab(vka_t *delegate, vka_object_t *untyped, slab_t *slab, size_t n, size_t size_bits, seL4_Word type) argument
182 slab_init(vka_t *slab_vka, vka_t *delegate, size_t object_freq[seL4_ObjectTypeCount]) argument
[all...] |
Completed in 25 milliseconds