Searched refs:sel4utils_res_t (Results 1 - 4 of 4) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace.h | 72 typedef struct sel4utils_res sel4utils_res_t; typedef in typeref:struct:sel4utils_res
82 sel4utils_res_t *reservation_head;
86 static inline sel4utils_res_t *reservation_to_res(reservation_t res)
88 return (sel4utils_res_t *) res.res;
290 int sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size,
296 int sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation,
314 int sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr,
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 52 static int check_reservation_bounds(sel4utils_res_t *reservation, uintptr_t start, uintptr_t end)
58 static int check_reservation(vspace_mid_level_t *top_level, sel4utils_res_t *reservation, uintptr_t start,
65 static void insert_reservation(sel4utils_alloc_data_t *data, sel4utils_res_t *reservation)
81 sel4utils_res_t *prev = data->reservation_head;
82 sel4utils_res_t *current = prev->next;
99 static void remove_reservation(sel4utils_alloc_data_t *data, sel4utils_res_t *reservation)
108 sel4utils_res_t *prev = data->reservation_head;
109 sel4utils_res_t *current = prev->next;
127 static void perform_reservation(vspace_t *vspace, sel4utils_res_t *reservation, uintptr_t vaddr, size_t bytes,
236 static sel4utils_res_t *find_reserv
[all...] |
| H A D | bootstrap.c | 421 sel4utils_res_t *res = reservation_to_res(image);
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/ |
| H A D | entry.c | 69 sel4utils_res_t muslc_brk_reservation_memory;
|
Completed in 42 milliseconds