Searched refs:_error (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Ddual_pool.c38 int _error; local
39 void *ret = _mspace_virtual_pool_alloc(alloc, &dual_pool->virtual_pool, bytes, &_error);
40 if (!_error) {
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/
H A Dvka.h40 int _error; local
42 _error = vka_utspace_alloc(vka, slot, type, sel4_size_bits, &cookie->original_cookie);
44 _error = vka_utspace_alloc_at(vka, slot, type, sel4_size_bits, paddr, &cookie->original_cookie);
46 SET_ERROR(error, _error);
47 if (!_error) {
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dallocman.h169 * @param _error (Optional) set to 0 on success
173 void *allocman_mspace_alloc(allocman_t *alloc, size_t bytes, int *_error);
233 * @param _error (Optional) set to 0 on success
237 seL4_Word allocman_utspace_alloc_at(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, uintptr_t paddr, bool canBeDev, int *_error);
249 * @param _error (Optional) set to 0 on success
254 seL4_Word allocman_utspace_alloc(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, bool canBeDev, int *_error) argument
256 return allocman_utspace_alloc_at(alloc, size_bits, type, path, ALLOCMAN_NO_PADDR, canBeDev, _error);
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c117 static void *_try_watermark_mspace(allocman_t *alloc, size_t size, int *_error) argument
124 SET_ERROR(_error, 0);
130 SET_ERROR(_error, 1);
144 static seL4_Word _try_watermark_utspace(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, int *_error) argument
156 SET_ERROR(_error, 1);
162 SET_ERROR(_error, 0);
167 SET_ERROR(_error, 1);
171 static void *_allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error, int use_watermark) argument
178 SET_ERROR(_error, 1);
184 ret = _try_watermark_mspace(alloc, size, _error);
264 _allocman_utspace_alloc(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, uintptr_t paddr, bool canBeDev, int *_error, int use_watermark) argument
313 allocman_mspace_alloc(allocman_t *alloc, size_t size, int *_error) argument
323 allocman_utspace_alloc_at(allocman_t *alloc, size_t size_bits, seL4_Word type, const cspacepath_t *path, uintptr_t paddr, bool canBeDev, int *_error) argument
[all...]

Completed in 36 milliseconds