/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 75 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 D | vspace.h | 75 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 D | bootstrap.c | 42 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 D | vspace.c | 155 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 D | bootstrap.c | 42 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 D | vspace.c | 155 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 D | mapping.h | 20 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 D | mapping.h | 20 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 D | capdl.c | 298 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 D | vspace.c | 591 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 D | vspace_32paging.c | 354 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 D | capdl.c | 33 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 D | capdl.c | 215 _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 D | mapping.c | 79 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 D | mapping.c | 79 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 D | vspace.c | 321 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 D | vspace.c | 491 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 D | vspace.h | 38 pte_t *vspace_root; member in struct:findVSpaceForASID_ret
|
/seL4-refos-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 110 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 D | vspace.c | 554 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 D | vspace.h | 32 vspace_root_t *vspace_root; member in struct:findVSpaceForASID_ret
|
/seL4-refos-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 88 * 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) {
|