Searched refs:lookupPDSlot (Results 1 - 10 of 10) sorted by relevance
| /seL4-test-master/kernel/src/arch/arm/32/machine/ |
| H A D | capdl.c | 161 pde_t *pde = lookupPDSlot(pd, i);
201 pde_t *pde = lookupPDSlot(pd, i);
219 pde_t *pde = lookupPDSlot(pd, vptr);
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));
455 pde_t *pde = lookupPDSlot(pd, i);
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
| H A D | vspace.h | 50 pde_t *CONST lookupPDSlot(pde_t *pd, vptr_t vptr);
|
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace_32paging.c | 156 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) function
280 pdSlot = lookupPDSlot(vspace, vaddr);
325 pdSlot = lookupPDSlot(vspace, vaddr);
|
| /seL4-test-master/kernel/src/arch/x86/64/machine/ |
| H A D | capdl.c | 196 pdSlot = lookupPDSlot(vspace, vptr);
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));
|
| /seL4-test-master/kernel/src/arch/arm/64/machine/ |
| H A D | capdl.c | 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));
|
| /seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 78 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr);
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 725 pde_t *CONST lookupPDSlot(pde_t *pd, vptr_t vptr) function
738 pdSlot = lookupPDSlot(pd, vptr);
772 pde_t *pde = lookupPDSlot(pd, vaddr);
1451 pd = lookupPDSlot(find_ret.pd, vptr);
1477 pd = lookupPDSlot(find_ret.pd, vptr);
1724 ret.pde_entries.base = lookupPDSlot(pd, vaddr);
1754 ret.pde_entries.base = lookupPDSlot(pd, vaddr);
2867 pdSlot = lookupPDSlot(pd, vaddr);
|
| /seL4-test-master/kernel/src/arch/x86/kernel/ |
| H A D | vspace.c | 621 pdSlot = lookupPDSlot(vspace, vptr);
734 pd_ret = lookupPDSlot(find_ret.vspace_root, vptr);
769 lu_ret = lookupPDSlot(find_ret.vspace_root, vaddr);
899 lu_ret = lookupPDSlot(vspace, vaddr);
904 /* current_lookup_fault will have been set by lookupPDSlot */
1221 pdSlot = lookupPDSlot(vspace, vaddr);
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 685 static lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr) function
720 pdSlot = lookupPDSlot(vspace, vptr);
1270 lu_ret = lookupPDSlot(find_ret.vspace_root, vaddr);
1357 lu_ret = lookupPDSlot(find_ret.vspace_root, vptr);
2038 pdSlot = lookupPDSlot(vspaceRoot, vaddr);
2161 lookupPDSlot_ret_t lu_ret = lookupPDSlot(vspaceRoot, vaddr);
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1020 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *pml4, vptr_t vptr) function
1491 /* current_lookup_fault will have been set by lookupPDSlot */
1559 pdSlot = lookupPDSlot(vspace, vaddr);
|
Completed in 143 milliseconds