Searched refs:existing_frames (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 234 static int reserve_initial_task_regions(vspace_t *vspace, void *existing_frames[]) argument
250 if (existing_frames != NULL) {
251 for (int i = 0; existing_frames[i] != NULL; i++) {
252 if (reserve_range(vspace, (uintptr_t) existing_frames[i], (uintptr_t) existing_frames[i]
254 ZF_LOGE("Error reserving frame at %p", existing_frames[i]);
375 vspace_allocated_object_fn allocated_object_fn, void *cookie, void *existing_frames[])
389 if (reserve_initial_task_regions(vspace, existing_frames)) {
405 void *existing_frames[extra_pages + 3]; local
406 existing_frames[
373 sel4utils_bootstrap_vspace(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, vspace_allocated_object_fn allocated_object_fn, void *cookie, void *existing_frames[]) argument
[all...] |
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 234 static int reserve_initial_task_regions(vspace_t *vspace, void *existing_frames[]) argument
250 if (existing_frames != NULL) {
251 for (int i = 0; existing_frames[i] != NULL; i++) {
252 if (reserve_range(vspace, (uintptr_t) existing_frames[i], (uintptr_t) existing_frames[i]
254 ZF_LOGE("Error reserving frame at %p", existing_frames[i]);
375 vspace_allocated_object_fn allocated_object_fn, void *cookie, void *existing_frames[])
389 if (reserve_initial_task_regions(vspace, existing_frames)) {
405 void *existing_frames[extra_pages + 3]; local
406 existing_frames[
373 sel4utils_bootstrap_vspace(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, vspace_allocated_object_fn allocated_object_fn, void *cookie, void *existing_frames[]) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace.h | 206 * @param existing_frames a NULL terminated list of virtual addresses for 4K frames that are
217 void *existing_frames[]);
268 void *existing_frames[])
270 return sel4utils_bootstrap_vspace(vspace, data, vspace_root, vka, NULL, NULL, existing_frames);
266 sel4utils_bootstrap_vspace_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, void *existing_frames[]) argument
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace.h | 206 * @param existing_frames a NULL terminated list of virtual addresses for 4K frames that are
217 void *existing_frames[]);
268 void *existing_frames[])
270 return sel4utils_bootstrap_vspace(vspace, data, vspace_root, vka, NULL, NULL, existing_frames);
266 sel4utils_bootstrap_vspace_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, void *existing_frames[]) argument
|
Completed in 43 milliseconds