Searched refs:_error (Results 1 - 4 of 4) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/ |
H A D | dual_pool.c | 38 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 D | vka.h | 40 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 D | allocman.h | 169 * @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 D | allocman.c | 117 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