Searched refs:lu_ret (Results 1 - 24 of 24) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dept.c121 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 Dvspace.c710 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-test-master/kernel/src/arch/x86/object/
H A Diospace.c252 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 Dinterrupt.c75 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 Dioport.c118 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-test-master/kernel/src/arch/arm/object/
H A Diospace.c157 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 Dinterrupt.c62 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 Dsmmu.c29 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-test-master/kernel/src/api/
H A Dsyscall.c101 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-test-master/kernel/include/benchmark/
H A Dbenchmark_track.h53 lookupCapAndSlot_ret_t lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), cptr); local
56 ksKernelEntry.cap_type = cap_get_capType(lu_ret.cap);
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dinterrupt.c68 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-test-master/kernel/src/benchmark/
H A Dbenchmark_utilisation.c19 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-test-master/kernel/src/kernel/
H A Dcspace.c17 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 Dfaulthandler.c68 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-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c202 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-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1028 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-test-master/kernel/src/object/
H A Dinterrupt.c32 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 Duntyped.c35 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 Dcnode.c45 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 Dtcb.c386 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-test-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c114 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-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1386 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-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c662 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-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1077 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...]

Completed in 306 milliseconds