/seL4-camkes-master/kernel/src/arch/x86/kernel/ |
H A D | ept.c | 121 lookupEPTPDPTSlot_ret_t lu_ret; local 123 lu_ret = lookupEPTPDPTSlot(pml4, vptr); 124 if (lu_ret.status != EXCEPTION_NONE) { 133 if (!ept_pdpte_ptr_get_read(lu_ret.pdptSlot)) { 141 ept_pde_t *pd = paddr_to_pptr(ept_pdpte_ptr_get_pd_base_address(lu_ret.pdptSlot)); 151 lookupEPTPDSlot_ret_t lu_ret; local 153 lu_ret = lookupEPTPDSlot(pml4, vptr); 154 if (lu_ret.status != EXCEPTION_NONE) { 163 if ((ept_pde_ptr_get_page_size(lu_ret.pdSlot) != ept_pde_ept_pde_pt) || 164 !ept_pde_ept_pde_pt_ptr_get_read(lu_ret 227 EPTPDPTMapped_ret_t lu_ret; local 426 EPTPageDirectoryMapped_ret_t lu_ret; local 483 lookupEPTPDPTSlot_ret_t lu_ret; local 615 EPTPageTableMapped_ret_t lu_ret; local 671 lookupEPTPDSlot_ret_t lu_ret; local 873 lookupEPTPTSlot_ret_t lu_ret; local 905 lookupEPTPDSlot_ret_t lu_ret; local 981 lookupEPTPTSlot_ret_t lu_ret; local 998 lookupEPTPDSlot_ret_t lu_ret; local [all...] |
H A D | vspace.c | 710 lookupPTSlot_ret_t lu_ret; local 721 lu_ret = lookupPTSlot(find_ret.vspace_root, vptr); 722 if (lu_ret.status != EXCEPTION_NONE) { 725 if (!(pte_ptr_get_present(lu_ret.ptSlot) 726 && (pte_ptr_get_page_base_address(lu_ret.ptSlot) 730 *lu_ret.ptSlot = makeUserPTEInvalid(); 762 lookupPDSlot_ret_t lu_ret; local 769 lu_ret = lookupPDSlot(find_ret.vspace_root, vaddr); 770 if (lu_ret.status != EXCEPTION_NONE) { 775 if (!(pde_ptr_get_page_size(lu_ret 868 lookupPTSlot_ret_t lu_ret; local 897 lookupPDSlot_ret_t lu_ret; local 1274 lookupSlot_ret_t lu_ret; local [all...] |
/seL4-camkes-master/kernel/src/arch/x86/object/ |
H A D | iospace.c | 252 lookupIOPTSlot_ret_t lu_ret; local 256 lu_ret = lookupIOPTSlot(vtd_pte, io_address); 258 if (lu_ret.status != EXCEPTION_NONE) { 264 lu_ret.level = x86KSnumIOPTLevels - lu_ret.level; 265 if (vtd_pte_ptr_get_addr(lu_ret.ioptSlot) != 0) { 278 cap = cap_io_page_table_cap_set_capIOPTLevel(cap, lu_ret.level); 283 return performX86IOPTInvocationMapPT(cap, slot, iopte, lu_ret.ioptSlot); 312 lookupIOPTSlot_ret_t lu_ret; local 366 lu_ret 401 lookupIOPTSlot_ret_t lu_ret; local 457 lookupIOPTSlot_ret_t lu_ret; local [all...] |
H A D | interrupt.c | 75 lookupSlot_ret_t lu_ret; local 121 lu_ret = lookupTargetSlot(cnodeCap, index, depth); 122 if (lu_ret.status != EXCEPTION_NONE) { 123 return lu_ret.status; 126 destSlot = lu_ret.slot;
|
H A D | ioport.c | 118 lookupSlot_ret_t lu_ret; local 153 lu_ret = lookupTargetSlot(cnodeCap, index, depth); 154 if (lu_ret.status != EXCEPTION_NONE) { 156 return lu_ret.status; 158 destSlot = lu_ret.slot;
|
/seL4-camkes-master/kernel/src/arch/arm/object/ |
H A D | iospace.c | 157 lookupIOPDSlot_ret_t lu_ret; local 204 lu_ret = lookupIOPDSlot(pd, io_address); 206 if (isIOPDEValid(lu_ret.iopdSlot)) { 223 return performARMIOPTInvocationMap(cap, slot, lu_ret.iopdSlot, iopde); 261 lookupIOPTSlot_ret_t lu_ret; local 300 lu_ret = lookupIOPTSlot(pd, io_address); 301 if (lu_ret.status != EXCEPTION_NONE) { 307 if (!isIOPTEEmpty(lu_ret.ioptSlot)) { 370 return performARMIOMapInvocation(cap, slot, lu_ret.ioptSlot, iopte); 379 lookupIOPDSlot_ret_t lu_ret; local 414 lookupIOPTSlot_ret_t lu_ret; local [all...] |
H A D | interrupt.c | 62 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); local 63 if (lu_ret.status != EXCEPTION_NONE) { 66 return lu_ret.status; 69 cte_t *destSlot = lu_ret.slot; 107 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); local 108 if (lu_ret.status != EXCEPTION_NONE) { 111 return lu_ret.status; 114 cte_t *destSlot = lu_ret.slot;
|
H A D | smmu.c | 29 lookupSlot_ret_t lu_ret; local 78 lu_ret = lookupTargetSlot(cnodeCap, index, depth); 79 if (lu_ret.status != EXCEPTION_NONE) { 82 return lu_ret.status; 84 destSlot = lu_ret.slot; 192 lookupSlot_ret_t lu_ret; local 229 lu_ret = lookupTargetSlot(cnodeCap, index, depth); 230 if (lu_ret.status != EXCEPTION_NONE) { 233 return lu_ret.status; 235 destSlot = lu_ret [all...] |
/seL4-camkes-master/kernel/src/api/ |
H A D | syscall.c | 101 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr); local 102 word_t cap_type = cap_get_capType(lu_ret.cap); 113 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr); local 115 word_t cap_type = cap_get_capType(lu_ret.cap); 132 setThreadName(TCB_PTR(cap_thread_cap_get_capTCBPtr(lu_ret.cap)), name); 258 lookupCap_ret_t lu_ret; local 261 lu_ret = lookupCap(NODE_STATE(ksCurThread), tcb_cptr); 263 cap_type = cap_get_capType(lu_ret.cap); 269 tcb_t *tcb = TCB_PTR(cap_thread_cap_get_capTCBPtr(lu_ret.cap)); 372 lookupCapAndSlot_ret_t lu_ret; local 454 lookupCap_ret_t lu_ret = lookupCap(NODE_STATE(ksCurThread), replyCPtr); local 516 lookupCap_ret_t lu_ret; local [all...] |
/seL4-camkes-master/kernel/include/benchmark/ |
H A D | benchmark_track.h | 53 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr); local 56 ksKernelEntry.cap_type = cap_get_capType(lu_ret.cap);
|
/seL4-camkes-master/kernel/src/arch/riscv/object/ |
H A D | interrupt.c | 68 lookupSlot_ret_t lu_ret = lookupTargetSlot(cnodeCap, index, depth); local 69 if (lu_ret.status != EXCEPTION_NONE) { 72 return lu_ret.status; 75 cte_t *destSlot = lu_ret.slot;
|
/seL4-camkes-master/kernel/src/benchmark/ |
H A D | benchmark_utilisation.c | 19 lookupCap_ret_t lu_ret; local 22 lu_ret = lookupCap(NODE_STATE(ksCurThread), tcb_cptr); 24 cap_type = cap_get_capType(lu_ret.cap); 30 tcb = TCB_PTR(cap_thread_cap_get_capTCBPtr(lu_ret.cap));
|
/seL4-camkes-master/kernel/src/kernel/ |
H A D | cspace.c | 17 lookupSlot_raw_ret_t lu_ret; local 20 lu_ret = lookupSlot(thread, cPtr); 21 if (unlikely(lu_ret.status != EXCEPTION_NONE)) { 22 ret.status = lu_ret.status; 28 ret.cap = lu_ret.slot->cap; 34 lookupSlot_raw_ret_t lu_ret; local 37 lu_ret = lookupSlot(thread, cPtr); 38 if (unlikely(lu_ret.status != EXCEPTION_NONE)) { 39 ret.status = lu_ret.status; 46 ret.slot = lu_ret [all...] |
H A D | faulthandler.c | 68 lookupCap_ret_t lu_ret; local 74 lu_ret = lookupCap(tptr, handlerCPtr); 75 if (lu_ret.status != EXCEPTION_NONE) { 79 handlerCap = lu_ret.cap;
|
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 202 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, frame_vptr); local 203 assert(lu_ret.ptBitsLeft == seL4_PageBits); 205 pte_t *targetSlot = lu_ret.ptSlot; 556 lookupPTSlot_ret_t lu_ret; local 563 lu_ret = lookupPTSlot(find_ret.vspace_root, vptr); 564 if (unlikely(lu_ret.ptBitsLeft != pageBitsForSize(page_size))) { 567 if (!pte_ptr_get_valid(lu_ret.ptSlot) || isPTEPageTable(lu_ret.ptSlot) 568 || (pte_ptr_get_ppn(lu_ret.ptSlot) << seL4_PageBits) != pptr_to_paddr((void *)pptr)) { 572 lu_ret 759 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vaddr); local 854 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vaddr); local 949 lookupSlot_ret_t lu_ret; local 1185 lookupCapAndSlot_ret_t lu_ret; local [all...] |
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1028 lookupPGDSlot_ret_t lu_ret; local 1035 lu_ret = lookupPGDSlot(find_ret.vspace_root, vaddr); 1036 if (pgde_pgde_pud_ptr_get_present(lu_ret.pgdSlot) && 1037 (pgde_pgde_pud_ptr_get_pud_base_address(lu_ret.pgdSlot) == pptr_to_paddr(pud))) { 1038 return lu_ret.pgdSlot; 1047 lookupPUDSlot_ret_t lu_ret; local 1054 lu_ret = lookupPUDSlot(find_ret.vspace_root, vaddr); 1055 if (lu_ret.status != EXCEPTION_NONE) { 1059 if (pude_pude_pd_ptr_get_present(lu_ret.pudSlot) && 1060 (pude_pude_pd_ptr_get_pd_base_address(lu_ret 1263 lookupPDSlot_ret_t lu_ret; local 1338 lookupPTSlot_ret_t lu_ret; local 1355 lookupPDSlot_ret_t lu_ret; local 1372 lookupPUDSlot_ret_t lu_ret; local 2148 lookupPTSlot_ret_t lu_ret = lookupPTSlot(vspaceRoot, vaddr); local 2161 lookupPDSlot_ret_t lu_ret = lookupPDSlot(vspaceRoot, vaddr); local 2174 lookupPUDSlot_ret_t lu_ret = lookupPUDSlot(vspaceRoot, vaddr); local 2300 lookupSlot_ret_t lu_ret; local 2532 lookupCapAndSlot_ret_t lu_ret; local [all...] |
/seL4-camkes-master/kernel/src/object/ |
H A D | interrupt.c | 32 lookupSlot_ret_t lu_ret; local 57 lu_ret = lookupTargetSlot(cnodeCap, index, depth); 58 if (lu_ret.status != EXCEPTION_NONE) { 61 return lu_ret.status; 63 destSlot = lu_ret.slot;
|
H A D | untyped.c | 35 lookupSlot_ret_t lu_ret; local 119 lu_ret = lookupTargetSlot(rootCap, nodeIndex, nodeDepth); 120 if (lu_ret.status != EXCEPTION_NONE) { 122 return lu_ret.status; 124 nodeCap = lu_ret.slot->cap;
|
H A D | cnode.c | 45 lookupSlot_ret_t lu_ret; local 67 lu_ret = lookupTargetSlot(cap, index, w_bits); 68 if (lu_ret.status != EXCEPTION_NONE) { 70 return lu_ret.status; 72 destSlot = lu_ret.slot; 99 lu_ret = lookupSourceSlot(srcRoot, srcIndex, srcDepth); 100 if (lu_ret.status != EXCEPTION_NONE) { 102 return lu_ret.status; 104 srcSlot = lu_ret.slot; 253 lu_ret [all...] |
H A D | tcb.c | 386 lookupSlot_raw_ret_t lu_ret; local 400 lu_ret = lookupSlot(thread, cptr); 401 if (lu_ret.status != EXCEPTION_NONE) { 403 return lu_ret.status; 406 current_extra_caps.excaprefs[i] = lu_ret.slot;
|
/seL4-camkes-master/kernel/src/arch/riscv/machine/ |
H A D | capdl.c | 114 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vptr); local 115 assert(lu_ret.ptBitsLeft == seL4_PageBits); 116 word_t slot = ((vptr >> lu_ret.ptBitsLeft) & MASK(PT_INDEX_BITS)); 118 printf("frame_%p_%04lu ", lu_ret.ptSlot, slot); 119 cap_frame_print_attrs_pt(lu_ret.ptSlot);
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1386 lookupPTSlot_ret_t lu_ret; local 1388 lu_ret = lookupPTSlot(find_ret.pd, vptr); 1389 if (unlikely(lu_ret.status != EXCEPTION_NONE)) { 1393 if (unlikely(pte_ptr_get_pteType(lu_ret.ptSlot) != pte_pte_small)) { 1397 if (unlikely(pte_pte_small_ptr_get_contiguous_hint(lu_ret.ptSlot) != 0)) { 1401 if (unlikely(pte_pte_small_ptr_get_address(lu_ret.ptSlot) != addr)) { 1405 *(lu_ret.ptSlot) = pte_pte_invalid_new(); 1406 cleanByVA_PoU((word_t)lu_ret.ptSlot, addrFromPPtr(lu_ret.ptSlot)); 1412 lookupPTSlot_ret_t lu_ret; local 1617 lookupPTSlot_ret_t lu_ret; local 2572 lookupSlot_ret_t lu_ret; local 2723 lookupCapAndSlot_ret_t lu_ret; local [all...] |
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 662 lookupCapAndSlot_ret_t lu_ret; local 667 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr); 669 if (unlikely(lu_ret.status != EXCEPTION_NONE)) { 676 if (cap_get_capType(lu_ret.cap) != cap_frame_cap) { 683 frameSize = cap_frame_cap_get_capFSize(lu_ret.cap); 692 frame_pptr = cap_frame_cap_get_capFBasePtr(lu_ret.cap);
|
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1077 lookupPDPTSlot_ret_t lu_ret; local 1084 lu_ret = lookupPDPTSlot(find_ret.vspace_root, vaddr); 1085 if (lu_ret.status != EXCEPTION_NONE) { 1090 if (!(pdpte_ptr_get_page_size(lu_ret.pdptSlot) == pdpte_pdpte_pd && 1091 pdpte_pdpte_pd_ptr_get_present(lu_ret.pdptSlot) && 1092 (pdpte_pdpte_pd_ptr_get_pd_base_address(lu_ret.pdptSlot) == pptr_to_paddr(pd)))) { 1098 *lu_ret.pdptSlot = makeUserPDPTEInvalid(); 1484 lookupPDPTSlot_ret_t lu_ret; local 1486 lu_ret = lookupPDPTSlot(vspace, vaddr); 1487 if (lu_ret 1627 lookupCapAndSlot_ret_t lu_ret; local [all...] |