Searched refs:find_ret (Results 1 - 13 of 13) sorted by relevance

/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c294 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 Dept.c277 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 Dvspace.c709 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 Dcapdl.c30 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 Dcapdl.c258 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 Dcapdl.c214 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 Dvspace.c477 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 Dvspace.c989 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 Dvspace.c506 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 Dobjecttype.c95 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 Dvspace.c1046 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 Dvspace.c593 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 Dvcpu.c1320 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) {

Completed in 180 milliseconds