Searched refs:existing_frames (Results 1 - 5 of 5) sorted by relevance
| /seL4-camkes-master/tools/rumprun/platform/sel4/ |
| H A D | simple.c | 120 void *existing_frames[init_data->stack_pages + RR_NUMIO + 4]; local
121 existing_frames[0] = (void *) init_data;
122 existing_frames[1] = ((char *) init_data) + PAGE_SIZE_4K;
123 existing_frames[2] = seL4_GetIPCBuffer();
126 existing_frames[i+3] = init_data->stdio[i];
131 existing_frames[frames_index] = init_data->stack + (i * PAGE_SIZE_4K);
133 existing_frames[frames_index] = NULL;
135 NULL, NULL, existing_frames);
|
| /seL4-camkes-master/projects/global-components/components/modules/dynamic-untyped-allocators/templates/ |
| H A D | dynamic-untyped-allocators.template.c | 44 void *existing_frames[] = { local
63 simple_get_init_cap(&camkes_simple, seL4_CapInitThreadPD), &vka, NULL, NULL, existing_frames);
|
| /seL4-camkes-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-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | PageCollection.py | 75 def _get_page_cap(self, existing_frames, page, page_vaddr, page_counter, spec):
77 Get a mapping cap from somewhere. First check if the existing_frames we
81 if page_vaddr in existing_frames:
82 (size, cap) = existing_frames[page_vaddr]
91 def get_spec(self, existing_frames={}):
109 page_cap = self._get_page_cap(existing_frames, page, page_vaddr, page_counter, spec)
|
| /seL4-camkes-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
|
Completed in 107 milliseconds