Searched refs:canBeDev (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dallocman.h231 * @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 Dsplit.h53 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 Dtwinkle.h39 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 Dsplit.c245 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 Dtwinkle.c65 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 Dallocman.c264 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