Searched refs:lookupPTSlot (Results 1 - 11 of 11) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
| H A D | vspace.h | 49 lookupPTSlot_ret_t lookupPTSlot(pde_t *pd, vptr_t vptr);
|
| /seL4-test-master/kernel/src/arch/riscv/machine/ |
| H A D | capdl.c | 114 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vptr);
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);
|
| /seL4-test-master/kernel/include/arch/riscv/arch/kernel/ |
| H A D | vspace.h | 44 lookupPTSlot_ret_t lookupPTSlot(pte_t *lvl1pt, vptr_t vptr);
|
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 281 ptSlot = lookupPTSlot(vspace, vaddr);
333 ptSlot = lookupPTSlot(vspace, vaddr);
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 176 pt_ret = lookupPTSlot(lvl1pt, vptr);
202 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, frame_vptr);
390 lookupPTSlot_ret_t lookupPTSlot(pte_t *lvl1pt, vptr_t vptr) function
563 lu_ret = lookupPTSlot(find_ret.vspace_root, vptr);
759 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vaddr);
854 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vaddr);
878 /* this check is redundant, as lookupPTSlot does not stop on a page
1170 lookupPTSlot_ret_t ret = lookupPTSlot(vspace_root, address);
|
| /seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 77 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr);
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 733 lookupPTSlot_ret_t lookupPTSlot(pde_t *pd, vptr_t vptr) function
1388 lu_ret = lookupPTSlot(find_ret.pd, vptr);
1415 lu_ret = lookupPTSlot(find_ret.pd, vptr);
1632 lu_ret = lookupPTSlot(pd, vaddr);
1640 * lookupPTSlot */
1672 lu_ret = lookupPTSlot(pd, vaddr);
1680 * lookupPTSlot */
2872 ptSlot = lookupPTSlot(pd, vaddr);
|
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 616 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) function
721 lu_ret = lookupPTSlot(find_ret.vspace_root, vptr);
870 lu_ret = lookupPTSlot(vspace, vaddr);
875 /* current_lookup_fault will have been set by lookupPTSlot */
|
| /seL4-test-master/kernel/src/arch/x86/64/machine/ |
| H A D | capdl.c | 203 ptSlot = lookupPTSlot(vspace, vptr);
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 715 static lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr) function
1340 lu_ret = lookupPTSlot(find_ret.vspace_root, vptr);
2148 lookupPTSlot_ret_t lu_ret = lookupPTSlot(vspaceRoot, vaddr);
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1567 ptSlot = lookupPTSlot(vspace, vaddr);
|
Completed in 114 milliseconds