Searched defs:add_uts (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/libs/libsel4allocman/include/allocman/utspace/ |
| H A D | utspace.h | 64 int (*add_uts)(struct allocman *alloc, void *utspace, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType); member in struct:utspace_interface
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
| H A D | utspace.h | 64 int (*add_uts)(struct allocman *alloc, void *utspace, size_t num, const cspacepath_t *uts, size_t *size_bits, uintptr_t *paddr, int utType); member in struct:utspace_interface
|
Completed in 81 milliseconds