Searched refs:canBeDev (Results 1 - 6 of 6) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
H A D | allocman.h | 231 * @param canBeDev Whether this allocation can be satisified from a device region, provided that 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); 247 * @param canBeDev Whether this allocation can be satisified from a device region, provided that 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/include/allocman/utspace/ |
H A D | split.h | 53 seL4_Word _utspace_split_alloc(struct allocman *alloc, void *_split, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error);
|
H A D | twinkle.h | 39 seL4_Word _utspace_twinkle_alloc(struct allocman *alloc, void *_twinkle, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error);
|
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
H A D | split.c | 245 const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) 261 if (canBeDev) { 289 if (canBeDev) { 244 _utspace_split_alloc(allocman_t *alloc, void *_split, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument
|
H A D | twinkle.c | 65 const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) 64 _utspace_twinkle_alloc(allocman_t *alloc, void *_twinkle, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument
|
/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) argument 290 ret = alloc->utspace.alloc(alloc, alloc->utspace.utspace, size_bits, type, path, paddr, canBeDev, &error); 323 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) argument 325 return _allocman_utspace_alloc(alloc, size_bits, type, path, paddr, canBeDev, _error, 1);
|
Completed in 36 milliseconds