Searched defs:top_level (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 343 static inline bool is_reserved_or_empty_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end, argument
349 static inline bool is_reserved_or_empty(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits, argument
357 static inline bool is_available_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) argument
362 static inline bool is_available(vspace_mid_level_t *top_level, uintptr_ argument
367 is_reserved_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) argument
372 is_reserved(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits) argument
[all...] |
| H A D | vspace.h | 77 vspace_mid_level_t *top_level; member in struct:sel4utils_alloc_data
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 343 static inline bool is_reserved_or_empty_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end, argument
349 static inline bool is_reserved_or_empty(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits, argument
357 static inline bool is_available_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) argument
362 static inline bool is_available(vspace_mid_level_t *top_level, uintptr_ argument
367 is_reserved_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) argument
372 is_reserved(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits) argument
[all...] |
| H A D | vspace.h | 77 vspace_mid_level_t *top_level; member in struct:sel4utils_alloc_data
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 58 static int check_reservation(vspace_mid_level_t *top_level, sel4utils_res_t *reservation, uintptr_t start, argument
[all...] |
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 58 static int check_reservation(vspace_mid_level_t *top_level, sel4utils_res_t *reservation, uintptr_t start, argument
[all...] |
Completed in 43 milliseconds