Searched refs:lookupPTSlot_ret_t (Results 1 - 11 of 11) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/kernel/ |
| H A D | vspace.h | 42 typedef struct lookupPTSlot_ret lookupPTSlot_ret_t; typedef in typeref:struct:lookupPTSlot_ret
49 lookupPTSlot_ret_t lookupPTSlot(pde_t *pd, vptr_t vptr);
|
| /seL4-test-master/kernel/include/arch/riscv/arch/kernel/ |
| H A D | vspace.h | 34 typedef struct lookupPTSlot_ret lookupPTSlot_ret_t; typedef in typeref:struct:lookupPTSlot_ret
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 | 223 static exception_t performIA32PageDirectoryGetStatusBits(lookupPTSlot_ret_t ptSlot, lookupPDSlot_ret_t pdSlot,
257 lookupPTSlot_ret_t ptSlot;
318 lookupPTSlot_ret_t ptSlot;
|
| /seL4-test-master/kernel/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 22 typedef struct lookupPTSlot_ret lookupPTSlot_ret_t; typedef in typeref:struct:lookupPTSlot_ret
77 lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr);
|
| /seL4-test-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 167 lookupPTSlot_ret_t pt_ret;
202 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, frame_vptr);
390 lookupPTSlot_ret_t lookupPTSlot(pte_t *lvl1pt, vptr_t vptr)
392 lookupPTSlot_ret_t ret;
556 lookupPTSlot_ret_t lu_ret;
759 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vaddr);
854 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, vaddr);
1170 lookupPTSlot_ret_t ret = lookupPTSlot(vspace_root, address);
|
| /seL4-test-master/kernel/src/arch/riscv/machine/ |
| H A D | capdl.c | 114 lookupPTSlot_ret_t lu_ret = lookupPTSlot(lvl1pt, 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)
735 lookupPTSlot_ret_t ret;
1386 lookupPTSlot_ret_t lu_ret;
1412 lookupPTSlot_ret_t lu_ret;
1617 lookupPTSlot_ret_t lu_ret;
2860 lookupPTSlot_ret_t ptSlot;
|
| /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)
618 lookupPTSlot_ret_t ret;
710 lookupPTSlot_ret_t lu_ret;
868 lookupPTSlot_ret_t lu_ret;
|
| /seL4-test-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 99 typedef struct lookupPTSlot_ret lookupPTSlot_ret_t; typedef in typeref:struct:lookupPTSlot_ret
715 static lookupPTSlot_ret_t lookupPTSlot(vspace_root_t *vspace, vptr_t vptr)
717 lookupPTSlot_ret_t ret;
1338 lookupPTSlot_ret_t lu_ret;
2148 lookupPTSlot_ret_t lu_ret = lookupPTSlot(vspaceRoot, vaddr);
|
| /seL4-test-master/kernel/src/arch/x86/64/machine/ |
| H A D | capdl.c | 187 lookupPTSlot_ret_t ptSlot;
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1543 lookupPTSlot_ret_t ptSlot;
|
Completed in 178 milliseconds