/seL4-test-master/kernel/src/arch/arm/64/machine/ |
H A D | capdl.c | 294 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 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)); 306 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 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)); 319 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 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 341 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 357 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap)); local [all...] |
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | ept.c | 277 findEPTForASID_ret_t find_ret; local 327 find_ret = findEPTForASID(asid); 328 if (find_ret.status != EXCEPTION_NONE) { 335 if (find_ret.ept != pml4) { 391 lookupEPTPDPTSlot_ret_t find_ret; local 402 find_ret = lookupEPTPDPTSlot(asid_ret.ept, vaddr); 403 if (find_ret.status != EXCEPTION_NONE) { 406 ret.status = find_ret.status; 410 if (ept_pdpte_ptr_get_read(find_ret.pdptSlot) 411 && ptrFromPAddr(ept_pdpte_ptr_get_pd_base_address(find_ret 482 findEPTForASID_ret_t find_ret; local 580 lookupEPTPDSlot_ret_t find_ret; local 670 findEPTForASID_ret_t find_ret; local 840 findEPTForASID_ret_t find_ret = findEPTForASID(asid); local 971 findEPTForASID_ret_t find_ret; local [all...] |
H A D | vspace.c | 709 findVSpaceForASID_ret_t find_ret; local 714 find_ret = findVSpaceForASID(asid); 715 if (find_ret.status != EXCEPTION_NONE) { 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)); 761 findVSpaceForASID_ret_t find_ret; local 764 find_ret = findVSpaceForASID(asid); 765 if (find_ret 1007 findVSpaceForASID_ret_t find_ret; local 1203 findVSpaceForASID_ret_t find_ret; local [all...] |
/seL4-test-master/kernel/src/arch/riscv/machine/ |
H A D | capdl.c | 30 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 33 cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root); 127 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 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); 147 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap)); local 149 assert(find_ret.status == EXCEPTION_NONE); 150 cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root);
|
/seL4-test-master/kernel/src/arch/arm/32/machine/ |
H A D | capdl.c | 258 findPDForASID_ret_t find_ret = findPDForASID(asid); local 260 cap_frame_print_attrs_vptr(vptr, find_ret.pd); 268 findPDForASID_ret_t find_ret = findPDForASID(asid); local 272 lookupPDSlot(find_ret.pd, vptr), PD_INDEX(vptr), (long unsigned int)asid); 274 printf("pt_%p_%04lu\n", lookupPDSlot(find_ret.pd, vptr), PD_INDEX(vptr)); 280 findPDForASID_ret_t find_ret = findPDForASID(asid); local 283 find_ret.pd, (long unsigned int)asid); 285 printf("%p_pd\n", find_ret.pd); 296 findPDForASID_ret_t find_ret = findPDForASID(cap_small_frame_cap_get_capFMappedASID(cap)); local 297 assert(find_ret 303 findPDForASID_ret_t find_ret = findPDForASID(cap_frame_cap_get_capFMappedASID(cap)); local [all...] |
/seL4-test-master/kernel/src/arch/x86/64/machine/ |
H A D | capdl.c | 214 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 215 _cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root); 224 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 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)); 236 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 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)); 248 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 252 lookupPML4Slot(find_ret 260 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 276 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap)); local [all...] |
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 477 findVSpaceForASID_ret_t find_ret; local 490 find_ret = findVSpaceForASID(asid); 491 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != pml4)) { 1076 findVSpaceForASID_ret_t find_ret; local 1079 find_ret = findVSpaceForASID(asid); 1080 if (find_ret.status != EXCEPTION_NONE) { 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 1205 findVSpaceForASID_ret_t find_ret; local 1252 findVSpaceForASID_ret_t find_ret; local 1370 findVSpaceForASID_ret_t find_ret; local [all...] |
/seL4-test-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 989 findVSpaceForASID_ret_t find_ret; local 1000 find_ret = findVSpaceForASID(asid); 1001 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != vspaceRoot)) { 1027 findVSpaceForASID_ret_t find_ret; local 1030 find_ret = findVSpaceForASID(asid); 1031 if (find_ret.status != EXCEPTION_NONE) { 1035 lu_ret = lookupPGDSlot(find_ret.vspace_root, vaddr); 1046 findVSpaceForASID_ret_t find_ret; local 1049 find_ret 1262 findVSpaceForASID_ret_t find_ret; local 1328 findVSpaceForASID_ret_t find_ret; local 1698 findVSpaceForASID_ret_t find_ret; local 1798 findVSpaceForASID_ret_t find_ret; local 1886 findVSpaceForASID_ret_t find_ret; local 1979 findVSpaceForASID_ret_t find_ret; local 2076 findVSpaceForASID_ret_t find_ret; local 2200 findVSpaceForASID_ret_t find_ret; local [all...] |
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 506 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 507 if (unlikely(find_ret.status != EXCEPTION_NONE)) { 512 assert(find_ret.vspace_root != target_pt); 514 pte_t *pt = find_ret.vspace_root; 555 findVSpaceForASID_ret_t find_ret; local 558 find_ret = findVSpaceForASID(asid); 559 if (find_ret.status != EXCEPTION_NONE) { 563 lu_ret = lookupPTSlot(find_ret.vspace_root, vptr); 581 findVSpaceForASID_ret_t find_ret; local 593 find_ret 689 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 744 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 826 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local [all...] |
/seL4-test-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 95 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); local 97 if (find_ret.status == EXCEPTION_NONE && find_ret.vspace_root == pte) {
|
/seL4-test-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1046 findPDForASID_ret_t find_ret; local 1062 find_ret = findPDForASID(asid); 1063 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.pd != pd)) { 1094 findPDForASID_ret_t find_ret; local 1098 find_ret = findPDForASID(asid); 1099 if (unlikely(find_ret.status != EXCEPTION_NONE)) { 1104 pde = find_ret.pd[pdIndex]; 1108 return find_ret.pd; 1376 findPDForASID_ret_t find_ret; local 2055 findPDForASID_ret_t find_ret; local 2228 findPDForASID_ret_t find_ret; local 2351 findPDForASID_ret_t find_ret; local [all...] |
/seL4-test-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 593 findVSpaceForASID_ret_t find_ret; local 605 find_ret = findVSpaceForASID(asid); 606 if (find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != vspace_root) {
|
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | vcpu.c | 1320 findEPTForASID_ret_t find_ret; local 1324 find_ret = findEPTForASID(cap_ept_pml4_cap_get_capPML4MappedASID(vmxSpace)); 1325 if (find_ret.status != EXCEPTION_NONE || find_ret.ept != pml4) {
|