/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | vspace_internal.h | 305 return update_entries_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end, cap, cookie); 311 return reserve_entries_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end, preserve_frames); 324 int error = clear_entries_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end, only_reserved); 343 static inline bool is_reserved_or_empty_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end, argument 346 return is_reserved_or_empty_mid(top_level, VSPACE_NUM_LEVELS - 1, start, end, good, bad); 349 static inline bool is_reserved_or_empty(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits, argument 354 return is_reserved_or_empty_range(top_level, start, end, good, bad); 357 static inline bool is_available_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) argument 359 return is_reserved_or_empty_range(top_level, start, end, EMPTY, RESERVED); 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 | 305 return update_entries_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end, cap, cookie); 311 return reserve_entries_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end, preserve_frames); 324 int error = clear_entries_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end, only_reserved); 343 static inline bool is_reserved_or_empty_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end, argument 346 return is_reserved_or_empty_mid(top_level, VSPACE_NUM_LEVELS - 1, start, end, good, bad); 349 static inline bool is_reserved_or_empty(vspace_mid_level_t *top_level, uintptr_t vaddr, size_t size_bits, argument 354 return is_reserved_or_empty_range(top_level, start, end, good, bad); 357 static inline bool is_available_range(vspace_mid_level_t *top_level, uintptr_t start, uintptr_t end) argument 359 return is_reserved_or_empty_range(top_level, start, end, EMPTY, RESERVED); 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 62 is_reserved_range(top_level, start, end); 264 bool available = is_available(data->top_level, current, size_bits); 355 if (!check_reservation(data->top_level, res, (uintptr_t) vaddr, (uintptr_t)vaddr + num_pages * BIT(size_bits))) { 381 if (!check_reservation(data->top_level, res, (uintptr_t) vaddr, (uintptr_t)vaddr + num_pages * BIT(size_bits))) { 427 seL4_CPtr cap = get_cap(data->top_level, (uintptr_t) vaddr); 438 return get_cookie(data->top_level, (uintptr_t) vaddr); 457 seL4_CPtr cap = get_cap(data->top_level, v); 483 assert(get_cap(data->top_level, v) != cap); 484 assert(get_cookie(data->top_level, [all...] |
H A D | bootstrap.c | 66 data->top_level->table[i] = RESERVED; 216 return reserve_range_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end); 276 data->top_level = alloc_and_map(vspace, sizeof(vspace_mid_level_t)); 297 data->top_level = vspace_new_pages(loader, seL4_AllRights, sizeof(vspace_mid_level_t) / PAGE_SIZE_4K, seL4_PageBits); 298 if (data->top_level == NULL) { 301 memset(data->top_level, 0, sizeof(vspace_mid_level_t));
|
/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 62 is_reserved_range(top_level, start, end); 264 bool available = is_available(data->top_level, current, size_bits); 355 if (!check_reservation(data->top_level, res, (uintptr_t) vaddr, (uintptr_t)vaddr + num_pages * BIT(size_bits))) { 381 if (!check_reservation(data->top_level, res, (uintptr_t) vaddr, (uintptr_t)vaddr + num_pages * BIT(size_bits))) { 427 seL4_CPtr cap = get_cap(data->top_level, (uintptr_t) vaddr); 438 return get_cookie(data->top_level, (uintptr_t) vaddr); 457 seL4_CPtr cap = get_cap(data->top_level, v); 483 assert(get_cap(data->top_level, v) != cap); 484 assert(get_cookie(data->top_level, [all...] |
H A D | bootstrap.c | 66 data->top_level->table[i] = RESERVED; 216 return reserve_range_mid(vspace, data->top_level, VSPACE_NUM_LEVELS - 1, start, end); 276 data->top_level = alloc_and_map(vspace, sizeof(vspace_mid_level_t)); 297 data->top_level = vspace_new_pages(loader, seL4_AllRights, sizeof(vspace_mid_level_t) / PAGE_SIZE_4K, seL4_PageBits); 298 if (data->top_level == NULL) { 301 memset(data->top_level, 0, sizeof(vspace_mid_level_t));
|