Home
last modified time | relevance | path

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

/seL4-master/src/arch/x86/kernel/
A Dept.c274 findEPTForASID_ret_t find_ret; in decodeX86EPTPDPTInvocation() local
324 find_ret = findEPTForASID(asid); in decodeX86EPTPDPTInvocation()
332 if (find_ret.ept != pml4) { in decodeX86EPTPDPTInvocation()
477 findEPTForASID_ret_t find_ret; in decodeX86EPTPDInvocation() local
525 find_ret = findEPTForASID(asid); in decodeX86EPTPDInvocation()
534 if (find_ret.ept != pml4) { in decodeX86EPTPDInvocation()
575 lookupEPTPDSlot_ret_t find_ret; in EPTPageTableMapped() local
664 findEPTForASID_ret_t find_ret; in decodeX86EPTPTInvocation() local
721 if (find_ret.ept != pml4) { in decodeX86EPTPTInvocation()
841 if (find_ret.ept != pml4) { in decodeX86EPTPageMap()
[all …]
A Dvspace.c709 findVSpaceForASID_ret_t find_ret; in unmapPage() local
714 find_ret = findVSpaceForASID(asid); in unmapPage()
715 if (find_ret.status != EXCEPTION_NONE) { in unmapPage()
761 findVSpaceForASID_ret_t find_ret; in unmapPageTable() local
764 find_ret = findVSpaceForASID(asid); in unmapPageTable()
765 if (find_ret.status != EXCEPTION_NONE) { in unmapPageTable()
1006 findVSpaceForASID_ret_t find_ret; in decodeX86FrameInvocation() local
1008 find_ret = findVSpaceForASID(asid); in decodeX86FrameInvocation()
1201 findVSpaceForASID_ret_t find_ret; in decodeX86PageTableInvocation() local
1203 find_ret = findVSpaceForASID(asid); in decodeX86PageTableInvocation()
[all …]
/seL4-master/src/arch/arm/32/machine/
A Dcapdl.c262 findPDForASID_ret_t find_ret = findPDForASID(asid); in print_ipc_buffer_slot() local
264 cap_frame_print_attrs_vptr(vptr, find_ret.pd); in print_ipc_buffer_slot()
272 findPDForASID_ret_t find_ret = findPDForASID(asid); in print_cap_arch() local
278 printf("pt_%p_%04lu\n", lookupPDSlot(find_ret.pd, vptr), PD_INDEX(vptr)); in print_cap_arch()
284 findPDForASID_ret_t find_ret = findPDForASID(asid); in print_cap_arch() local
287 find_ret.pd, (long unsigned int)asid); in print_cap_arch()
289 printf("%p_pd\n", find_ret.pd); in print_cap_arch()
301 assert(find_ret.status == EXCEPTION_NONE); in print_cap_arch()
302 cap_frame_print_attrs_vptr(vptr, find_ret.pd); in print_cap_arch()
308 assert(find_ret.status == EXCEPTION_NONE); in print_cap_arch()
[all …]
/seL4-master/src/arch/arm/64/machine/
A Dcapdl.c297 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in print_cap_arch() local
309 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in print_cap_arch() local
316 lookupPUDSlot(find_ret.vspace_root, vptr).pudSlot, GET_PUD_INDEX(vptr)); in print_cap_arch()
322 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in print_cap_arch() local
328 find_ret.vspace_root, GET_PGD_INDEX(vptr), (long unsigned int)asid); in print_cap_arch()
330 printf("pud_%p_%04lu\n", find_ret.vspace_root, GET_PGD_INDEX(vptr)); in print_cap_arch()
344 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in print_cap_arch() local
347 find_ret.vspace_root, (long unsigned int)asid); in print_cap_arch()
349 printf("%p_pd\n", find_ret.vspace_root); in print_cap_arch()
361 assert(find_ret.status == EXCEPTION_NONE); in print_cap_arch()
[all …]
/seL4-master/src/arch/x86/64/machine/
A Dcapdl.c217 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in cap_frame_print_attrs_vptr() local
218 _cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root); in cap_frame_print_attrs_vptr()
227 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in print_cap_arch() local
239 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in print_cap_arch() local
251 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in print_cap_arch() local
263 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in print_cap_arch() local
266 find_ret.vspace_root, (long unsigned int)asid); in print_cap_arch()
268 printf("%p_pd\n", find_ret.vspace_root); in print_cap_arch()
279 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap)); in print_cap_arch() local
280 assert(find_ret.status == EXCEPTION_NONE); in print_cap_arch()
[all …]
/seL4-master/src/arch/riscv/machine/
A Dcapdl.c37 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in print_ipc_buffer_slot() local
40 cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root); in print_ipc_buffer_slot()
129 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in print_cap_arch() local
136 lookupPTSlot(find_ret.vspace_root, vptr).ptSlot, slot, (long unsigned int)asid); in print_cap_arch()
138 printf("pt_%p_%04lu\n", lookupPTSlot(find_ret.vspace_root, vptr).ptSlot, slot); in print_cap_arch()
149 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(cap_frame_cap_get_capFMappedASID(cap)); in print_cap_arch() local
151 assert(find_ret.status == EXCEPTION_NONE); in print_cap_arch()
152 cap_frame_print_attrs_vptr(vptr, find_ret.vspace_root); in print_cap_arch()
/seL4-master/src/arch/arm/64/kernel/
A Dvspace.c994 findVSpaceForASID_ret_t find_ret; in setVMRoot() local
1005 find_ret = findVSpaceForASID(asid); in setVMRoot()
1006 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != vspaceRoot)) { in setVMRoot()
1032 findVSpaceForASID_ret_t find_ret; in pageUpperDirectoryMapped() local
1051 findVSpaceForASID_ret_t find_ret; in pageDirectoryMapped() local
1267 findVSpaceForASID_ret_t find_ret; in pageTableMapped() local
1333 findVSpaceForASID_ret_t find_ret; in unmapPage() local
1702 findVSpaceForASID_ret_t find_ret; in decodeARMVSpaceRootInvocation() local
1801 findVSpaceForASID_ret_t find_ret; in decodeARMPageUpperDirectoryInvocation() local
1888 findVSpaceForASID_ret_t find_ret; in decodeARMPageDirectoryInvocation() local
[all …]
/seL4-master/src/arch/riscv/kernel/
A Dvspace.c507 if (unlikely(find_ret.status != EXCEPTION_NONE)) { in unmapPageTable()
512 assert(find_ret.vspace_root != target_pt); in unmapPageTable()
514 pte_t *pt = find_ret.vspace_root; in unmapPageTable()
555 findVSpaceForASID_ret_t find_ret; in unmapPage() local
558 find_ret = findVSpaceForASID(asid); in unmapPage()
559 if (find_ret.status != EXCEPTION_NONE) { in unmapPage()
563 lu_ret = lookupPTSlot(find_ret.vspace_root, vptr); in unmapPage()
581 findVSpaceForASID_ret_t find_ret; in setVMRoot() local
593 find_ret = findVSpaceForASID(asid); in setVMRoot()
594 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != lvl1pt)) { in setVMRoot()
[all …]
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c477 findVSpaceForASID_ret_t find_ret; in setVMRoot() local
490 find_ret = findVSpaceForASID(asid); in setVMRoot()
491 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != pml4)) { in setVMRoot()
1076 findVSpaceForASID_ret_t find_ret; in unmapPageDirectory() local
1079 find_ret = findVSpaceForASID(asid); in unmapPageDirectory()
1204 findVSpaceForASID_ret_t find_ret; in decodeX64PageDirectoryInvocation() local
1206 find_ret = findVSpaceForASID(asid); in decodeX64PageDirectoryInvocation()
1251 findVSpaceForASID_ret_t find_ret; in unmapPDPT() local
1254 find_ret = findVSpaceForASID(asid); in unmapPDPT()
1368 findVSpaceForASID_ret_t find_ret; in decodeX64PDPTInvocation() local
[all …]
/seL4-master/src/arch/arm/32/kernel/
A Dvspace.c1005 findPDForASID_ret_t find_ret; in setVMRoot() local
1021 find_ret = findPDForASID(asid); in setVMRoot()
1022 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.pd != pd)) { in setVMRoot()
1053 findPDForASID_ret_t find_ret; in pageTableMapped() local
1057 find_ret = findPDForASID(asid); in pageTableMapped()
1063 pde = find_ret.pd[pdIndex]; in pageTableMapped()
1067 return find_ret.pd; in pageTableMapped()
1327 findPDForASID_ret_t find_ret; local
1330 find_ret = findPDForASID(asid);
2006 findPDForASID_ret_t find_ret; local
[all …]
/seL4-master/src/arch/riscv/object/
A Dobjecttype.c95 findVSpaceForASID_ret_t find_ret = findVSpaceForASID(asid); in Arch_finaliseCap() local
97 if (find_ret.status == EXCEPTION_NONE && find_ret.vspace_root == pte) { in Arch_finaliseCap()
/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c593 findVSpaceForASID_ret_t find_ret; in setVMRoot() local
605 find_ret = findVSpaceForASID(asid); in setVMRoot()
606 if (find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != vspace_root) { in setVMRoot()
/seL4-master/src/arch/x86/object/
A Dvcpu.c1319 findEPTForASID_ret_t find_ret; in setEPTRoot() local
1323 find_ret = findEPTForASID(cap_ept_pml4_cap_get_capPML4MappedASID(vmxSpace)); in setEPTRoot()
1324 if (find_ret.status != EXCEPTION_NONE || find_ret.ept != pml4) { in setEPTRoot()

Completed in 33 milliseconds