src/vspace/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_reserve(sel4utils_alloc_data_t *data, uintptr_t vaddr)
239     sel4utils_res_t *current = data->reservation_head;
348     sel4utils_res_t *res = reservation_to_res(reservation);
374     sel4utils_res_t *res = reservation_to_res(reservation);
445     sel4utils_res_t *reserve = find_reserve(data, v);
495     sel4utils_res_t *res = reservation_to_res(reservation);
541 int sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation,
558 int sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size,
577     sel4utils_res_t *res = malloc(sizeof(sel4utils_res_t));
596 int sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr,
614     reservation.res = malloc(sizeof(sel4utils_res_t));
627         ((sel4utils_res_t *)reservation.res)->malloced = 1;
637         ((sel4utils_res_t *)reservation.res)->rights_deferred = true;
645     sel4utils_res_t *res = reservation.res;
666     sel4utils_res_t *res = reservation.res;
831     sel4utils_res_t *res = reservation_to_res(reservation);