include/vka/object.h

34     seL4_Word size_bits;
40 static inline int vka_alloc_object_at_maybe_dev(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr,
61         error = vka_utspace_alloc_maybe_device(vka, &path, type, size_bits, can_use_dev, &result->ut);
64                     BIT(size_bits), error);
68         error = vka_utspace_alloc_at(vka, &path, type, size_bits, paddr, &result->ut);
71                     BIT(size_bits), (void *)paddr, error);
77     result->size_bits = size_bits;
89 static inline int vka_alloc_object_at(vka_t *vka, seL4_Word type, seL4_Word size_bits, uintptr_t paddr,
92     return vka_alloc_object_at_maybe_dev(vka, type, size_bits, paddr, false, result);
94 static inline int vka_alloc_object(vka_t *vka, seL4_Word type, seL4_Word size_bits, vka_object_t *result)
96     return vka_alloc_object_at(vka, type, size_bits, VKA_NO_PADDR, result);
101 static inline seL4_CPtr vka_alloc_object_leaky(vka_t *vka, seL4_Word type, seL4_Word size_bits) WARN_UNUSED_RESULT;
102 static inline seL4_CPtr vka_alloc_object_leaky(vka_t *vka, seL4_Word type, seL4_Word size_bits)
104     vka_object_t result = {.cptr = 0, .ut = 0, .type = 0, size_bits = 0};
105     return vka_alloc_object(vka, type, size_bits, &result) == -1 ? 0 : result.cptr;
122     vka_utspace_free(vka, object->type, object->size_bits, object->ut);
127     return vka_utspace_paddr(vka, object->ut, object->type, object->size_bits);
131 static inline int vka_alloc_untyped(vka_t *vka, uint32_t size_bits, vka_object_t *result)
133     return vka_alloc_object(vka, seL4_UntypedObject, size_bits, result);
136 static inline int vka_alloc_untyped_at(vka_t *vka, uint32_t size_bits, uintptr_t paddr,
139     return vka_alloc_object_at(vka, seL4_UntypedObject, size_bits, paddr, result);
158                                                UNUSED uint32_t size_bits)
161     if (size_bits < seL4_MinSchedContextBits) {
165     return vka_alloc_object(vka, seL4_SchedContextObject, size_bits, result);
206 static inline int vka_alloc_frame(vka_t *vka, uint32_t size_bits, vka_object_t *result)
208     return vka_alloc_object(vka, kobject_get_type(KOBJECT_FRAME, size_bits), size_bits, result);
212 static inline int vka_alloc_frame_maybe_device(vka_t *vka, uint32_t size_bits, bool can_use_dev, vka_object_t *result)
214     return vka_alloc_object_at_maybe_dev(vka, kobject_get_type(KOBJECT_FRAME, size_bits),
215                                          size_bits, VKA_NO_PADDR, can_use_dev, result);
218 static inline int vka_alloc_frame_at(vka_t *vka, uint32_t size_bits, uintptr_t paddr,
221     return vka_alloc_object_at(vka, kobject_get_type(KOBJECT_FRAME, size_bits), size_bits,
245 static inline int vka_alloc_kobject(vka_t *vka, kobject_t type, seL4_Word size_bits,
248     return vka_alloc_object(vka, kobject_get_type(type, size_bits), size_bits, result);
279     static inline seL4_CPtr vka_alloc_##name##_leaky(vka_t *vka, uint32_t size_bits) WARN_UNUSED_RESULT; \
280     static inline seL4_CPtr vka_alloc_##name##_leaky(vka_t *vka, uint32_t size_bits) \
283     if (vka_alloc_##name(vka, size_bits, &object) != 0) {\