Searched refs:top_level (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h305 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 Dvspace.h77 vspace_mid_level_t *top_level; member in struct:sel4utils_alloc_data
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h305 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 Dvspace.h77 vspace_mid_level_t *top_level; member in struct:sel4utils_alloc_data
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c58 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 Dbootstrap.c66 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 Dvspace.c58 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 Dbootstrap.c66 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));

Completed in 113 milliseconds