Searched refs:vspace_root (Results 1 - 22 of 22) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace.h75 seL4_CPtr vspace_root; member in struct:sel4utils_alloc_data
102 * @param vspace_root root object for the new vspace.
111 vka_t *vka, seL4_CPtr vspace_root,
124 * @param vspace_root root object for the new vspace.
133 vka_t *vka, seL4_CPtr vspace_root,
144 * @param vspace_root root object for the new vspace.
151 vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn,
165 * @param vspace_root root object for the new vspace.
172 vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn,
203 * @param vspace_root roo
243 sel4utils_get_vspace_leaky(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root) argument
251 sel4utils_get_vspace_ept_leaky(vspace_t *loader, vspace_t *new_vspace, vka_t *vka, seL4_CPtr vspace_root) argument
259 sel4utils_bootstrap_vspace_with_bootinfo_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, seL4_BootInfo *info) argument
266 sel4utils_bootstrap_vspace_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, void *existing_frames[]) argument
[all...]
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dvspace.h75 seL4_CPtr vspace_root; member in struct:sel4utils_alloc_data
102 * @param vspace_root root object for the new vspace.
111 vka_t *vka, seL4_CPtr vspace_root,
124 * @param vspace_root root object for the new vspace.
133 vka_t *vka, seL4_CPtr vspace_root,
144 * @param vspace_root root object for the new vspace.
151 vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn,
165 * @param vspace_root root object for the new vspace.
172 vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn,
203 * @param vspace_root roo
243 sel4utils_get_vspace_leaky(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root) argument
251 sel4utils_get_vspace_ept_leaky(vspace_t *loader, vspace_t *new_vspace, vka_t *vka, seL4_CPtr vspace_root) argument
259 sel4utils_bootstrap_vspace_with_bootinfo_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, seL4_BootInfo *info) argument
266 sel4utils_bootstrap_vspace_leaky(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, void *existing_frames[]) argument
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c42 static int common_init(vspace_t *vspace, vka_t *vka, seL4_CPtr vspace_root, argument
51 data->vspace_root = vspace_root;
115 error = sel4utils_map_page(data->vka, data->vspace_root, frame.cptr, vaddr,
309 vka_t *vka, seL4_CPtr vspace_root,
314 if (common_init(new_vspace, vka, vspace_root, allocated_object_fn, allocated_object_cookie)) {
322 vka_t *vka, seL4_CPtr vspace_root,
328 if (common_init(new_vspace, vka, vspace_root, allocated_object_fn, allocated_object_cookie)) {
337 vka_t *vka, seL4_CPtr vspace_root,
340 return sel4utils_get_vspace_with_map(loader, new_vspace, data, vka, vspace_root, allocated_object_f
308 sel4utils_get_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) argument
321 sel4utils_get_empty_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) argument
336 sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
344 sel4utils_get_empty_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
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
398 sel4utils_bootstrap_vspace_with_bootinfo(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, seL4_BootInfo *info, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
[all...]
H A Dvspace.c155 int error = sel4utils_map_page(data->vka, data->vspace_root, cap, vaddr,
179 int error = sel4utils_map_ept_page(data->vka, data->vspace_root, cap,
214 int error = sel4utils_map_iospace_page(data->vka, data->vspace_root, cap,
727 return data->vspace_root;
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c42 static int common_init(vspace_t *vspace, vka_t *vka, seL4_CPtr vspace_root, argument
51 data->vspace_root = vspace_root;
115 error = sel4utils_map_page(data->vka, data->vspace_root, frame.cptr, vaddr,
309 vka_t *vka, seL4_CPtr vspace_root,
314 if (common_init(new_vspace, vka, vspace_root, allocated_object_fn, allocated_object_cookie)) {
322 vka_t *vka, seL4_CPtr vspace_root,
328 if (common_init(new_vspace, vka, vspace_root, allocated_object_fn, allocated_object_cookie)) {
337 vka_t *vka, seL4_CPtr vspace_root,
340 return sel4utils_get_vspace_with_map(loader, new_vspace, data, vka, vspace_root, allocated_object_f
308 sel4utils_get_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) argument
321 sel4utils_get_empty_vspace_with_map(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie, sel4utils_map_page_fn map_page) argument
336 sel4utils_get_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
344 sel4utils_get_empty_vspace(vspace_t *loader, vspace_t *new_vspace, sel4utils_alloc_data_t *data, vka_t *vka, seL4_CPtr vspace_root, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
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
398 sel4utils_bootstrap_vspace_with_bootinfo(vspace_t *vspace, sel4utils_alloc_data_t *data, seL4_CPtr vspace_root, vka_t *vka, seL4_BootInfo *info, vspace_allocated_object_fn allocated_object_fn, void *allocated_object_cookie) argument
[all...]
H A Dvspace.c155 int error = sel4utils_map_page(data->vka, data->vspace_root, cap, vaddr,
179 int error = sel4utils_map_ept_page(data->vka, data->vspace_root, cap,
214 int error = sel4utils_map_iospace_page(data->vka, data->vspace_root, cap,
727 return data->vspace_root;
/seL4-refos-master/libs/libsel4vspace/include/vspace/
H A Dmapping.h20 typedef seL4_Error(*vspace_map_fn_t)(seL4_CPtr cap, seL4_CPtr vspace_root, seL4_Word vaddr,
22 typedef seL4_Error(*vspace_map_page_fn_t)(seL4_CPtr cap, seL4_CPtr vspace_root, seL4_Word vaddr,
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dmapping.h20 typedef seL4_Error(*vspace_map_fn_t)(seL4_CPtr cap, seL4_CPtr vspace_root, seL4_Word vaddr,
22 typedef seL4_Error(*vspace_map_page_fn_t)(seL4_CPtr cap, seL4_CPtr vspace_root, seL4_Word vaddr,
/seL4-refos-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c298 lookupPDSlot(find_ret.vspace_root, vptr).pdSlot, GET_PD_INDEX(vptr), (long unsigned int)asid);
300 printf("pt_%p_%04lu\n", lookupPDSlot(find_ret.vspace_root, vptr).pdSlot, GET_PD_INDEX(vptr));
310 lookupPUDSlot(find_ret.vspace_root, vptr).pudSlot, GET_PUD_INDEX(vptr), (long unsigned int)asid);
313 lookupPUDSlot(find_ret.vspace_root, vptr).pudSlot, GET_PUD_INDEX(vptr));
325 find_ret.vspace_root, GET_PGD_INDEX(vptr), (long unsigned int)asid);
327 printf("pud_%p_%04lu\n", find_ret.vspace_root, GET_PGD_INDEX(vptr));
332 lookupPGDSlot(find_ret.vspace_root, vptr).pgdSlot, GET_PGD_INDEX(vptr), (long unsigned int)asid);
334 printf("pud_%p_%04lu\n", lookupPGDSlot(find_ret.vspace_root, vptr).pgdSlot, GET_PGD_INDEX(vptr));
344 find_ret.vspace_root, (long unsigned int)asid);
346 printf("%p_pd\n", find_ret.vspace_root);
[all...]
/seL4-refos-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c591 vspace_root_t *vspace_root; local
597 vspace_root = getValidNativeRoot(threadRoot);
598 if (!vspace_root) {
606 if (find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != vspace_root) {
613 if (getCurrentPD() != pptr_to_paddr(vspace_root)) {
615 SMP_COND_STATEMENT(tlb_bitmap_set(vspace_root, getCurrentCPUIndex());)
617 setCurrentPD(pptr_to_paddr(vspace_root));
H A Dvspace_32paging.c354 vspace_root_t *vspace_root; local
366 vspace_root = (vspace_root_t *)pptr_of_cap(threadRoot);
379 result = readWordFromVSpace(vspace_root, address);
/seL4-refos-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c33 cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root);
134 lookupPTSlot(find_ret.vspace_root, vptr).ptSlot, slot, (long unsigned int)asid);
136 printf("pt_%p_%04lu\n", lookupPTSlot(find_ret.vspace_root, vptr).ptSlot, slot);
150 cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root);
/seL4-refos-master/kernel/src/arch/x86/64/machine/
H A Dcapdl.c215 _cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root);
228 lookupPDSlot(find_ret.vspace_root, vptr).pdSlot, GET_PD_INDEX(vptr), (long unsigned int)asid);
230 printf("pt_%p_%04lu\n", lookupPDSlot(find_ret.vspace_root, vptr).pdSlot, GET_PD_INDEX(vptr));
240 lookupPDPTSlot(find_ret.vspace_root, vptr).pdptSlot, GET_PDPT_INDEX(vptr), (long unsigned int)asid);
242 printf("pd_%p_%04lu\n", lookupPDPTSlot(find_ret.vspace_root, vptr).pdptSlot, GET_PDPT_INDEX(vptr));
252 lookupPML4Slot(find_ret.vspace_root, vptr), GET_PML4_INDEX(vptr), (long unsigned int)asid);
254 printf("pdpt_%p_%04lu\n", lookupPML4Slot(find_ret.vspace_root, vptr), GET_PML4_INDEX(vptr));
263 find_ret.vspace_root, (long unsigned int)asid);
265 printf("%p_pd\n", find_ret.vspace_root);
278 _cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root);
[all...]
/seL4-refos-master/libs/libsel4utils/src/
H A Dmapping.c79 int sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr, argument
82 return map_page(vka, seL4_ARCH_Page_Map, vspace_get_map_obj, vspace_root, frame, vaddr, rights,
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/
H A Dmapping.c79 int sel4utils_map_page(vka_t *vka, seL4_CPtr vspace_root, seL4_CPtr frame, void *vaddr, argument
82 return map_page(vka, seL4_ARCH_Page_Map, vspace_get_map_obj, vspace_root, frame, vaddr, rights,
/seL4-refos-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c321 pte_t *vspace_root; local
327 ret.vspace_root = NULL;
332 vspace_root = poolPtr->array[asid & MASK(asidLowBits)];
333 if (!vspace_root) {
336 ret.vspace_root = NULL;
341 ret.vspace_root = vspace_root;
512 assert(find_ret.vspace_root != target_pt);
514 pte_t *pt = find_ret.vspace_root;
563 lu_ret = lookupPTSlot(find_ret.vspace_root, vpt
1167 pte_t *vspace_root = PTE_PTR(pptr_of_cap(threadRoot)); local
[all...]
/seL4-refos-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c491 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != pml4)) {
1084 lu_ret = lookupPDPTSlot(find_ret.vspace_root, vaddr);
1096 flushPD(find_ret.vspace_root, vaddr, pd, asid);
1100 invalidatePageStructureCacheASID(pptr_to_paddr(find_ret.vspace_root), asid,
1101 SMP_TERNARY(tlb_bitmap_get(find_ret.vspace_root), 0));
1215 if (find_ret.vspace_root != vspace) {
1260 pml4Slot = lookupPML4Slot(find_ret.vspace_root, vaddr);
1268 flushPDPT(find_ret.vspace_root, vaddr, pdpt, asid);
1380 if (find_ret.vspace_root != vspace) {
1589 vspace_root_t *vspace_root; local
[all...]
/seL4-refos-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h38 pte_t *vspace_root; member in struct:findVSpaceForASID_ret
/seL4-refos-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c110 vspace_root_t *vspace_root; member in struct:findVSpaceForASID_ret
563 vspace_root_t *vspace_root; local
569 ret.vspace_root = NULL;
574 vspace_root = poolPtr->array[asid & MASK(asidLowBits)];
575 if (!vspace_root) {
578 ret.vspace_root = NULL;
583 ret.vspace_root = vspace_root;
1001 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != vspaceRoot)) {
1035 lu_ret = lookupPGDSlot(find_ret.vspace_root, vadd
[all...]
/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dvspace.c554 ret.vspace_root = NULL;
559 ret.vspace_root = (vspace_root_t *)asid_map_asid_map_vspace_get_vspace_root(asid_map);
721 lu_ret = lookupPTSlot(find_ret.vspace_root, vptr);
734 pd_ret = lookupPDSlot(find_ret.vspace_root, vptr);
749 if (!modeUnmapPage(page_size, find_ret.vspace_root, vptr, pptr)) {
756 SMP_TERNARY(tlb_bitmap_get(find_ret.vspace_root), 0));
769 lu_ret = lookupPDSlot(find_ret.vspace_root, vaddr);
781 flushTable(find_ret.vspace_root, vaddr, pt, asid);
785 invalidatePageStructureCacheASID(pptr_to_paddr(find_ret.vspace_root), asid,
786 SMP_TERNARY(tlb_bitmap_get(find_ret.vspace_root),
[all...]
/seL4-refos-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h32 vspace_root_t *vspace_root; member in struct:findVSpaceForASID_ret
/seL4-refos-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c88 * This PageTable is either mapped as a vspace_root or otherwise exists
89 * as an entry in another PageTable. We check if it is a vspace_root and
97 if (find_ret.status == EXCEPTION_NONE && find_ret.vspace_root == pte) {

Completed in 113 milliseconds