Searched refs:is_available_range (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 600 if (!is_available_range(data->top_level, (uintptr_t) vaddr, (uintptr_t)vaddr + size)) {
675 if (!is_available_range(data->top_level, new_start, res->start)) {
680 if (!is_available_range(data->top_level, res->end, new_end)) {
|
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 600 if (!is_available_range(data->top_level, (uintptr_t) vaddr, (uintptr_t)vaddr + size)) {
675 if (!is_available_range(data->top_level, new_start, res->start)) {
680 if (!is_available_range(data->top_level, res->end, new_end)) {
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 357 static inline bool is_available_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) function
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 357 static inline bool is_available_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) function
|
Completed in 80 milliseconds