Searched refs:_allocman_utspace_alloc (Results 1 - 1 of 1) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | allocman.c | 264 static seL4_Word _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) function
325 return _allocman_utspace_alloc(alloc, size_bits, type, path, paddr, canBeDev, _error, 1);
388 cookie = _allocman_utspace_alloc(alloc, alloc->utspace_chunk[i].size_bits, alloc->utspace_chunk[i].type, &slot, ALLOCMAN_NO_PADDR, false, &error, 0);
|
Completed in 24 milliseconds