Searched refs:lookupPDSlot_ret_t (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c156 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr)
158 lookupPDSlot_ret_t pdSlot;
223 static exception_t performIA32PageDirectoryGetStatusBits(lookupPTSlot_ret_t ptSlot, lookupPDSlot_ret_t pdSlot,
258 lookupPDSlot_ret_t pdSlot;
319 lookupPDSlot_ret_t pdSlot;
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h28 typedef struct lookupPDSlot_ret lookupPDSlot_ret_t; typedef in typeref:struct:lookupPDSlot_ret
78 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr);
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c93 typedef struct lookupPDSlot_ret lookupPDSlot_ret_t; typedef in typeref:struct:lookupPDSlot_ret
685 static lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *vspace, vptr_t vptr)
688 lookupPDSlot_ret_t ret;
718 lookupPDSlot_ret_t pdSlot;
1263 lookupPDSlot_ret_t lu_ret;
1355 lookupPDSlot_ret_t lu_ret;
1978 lookupPDSlot_ret_t pdSlot;
2161 lookupPDSlot_ret_t lu_ret = lookupPDSlot(vspaceRoot, vaddr);
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c619 lookupPDSlot_ret_t pdSlot;
711 lookupPDSlot_ret_t pd_ret;
762 lookupPDSlot_ret_t lu_ret;
897 lookupPDSlot_ret_t lu_ret;
1142 lookupPDSlot_ret_t pdSlot;
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1020 lookupPDSlot_ret_t lookupPDSlot(vspace_root_t *pml4, vptr_t vptr)
1023 lookupPDSlot_ret_t ret;
1544 lookupPDSlot_ret_t pdSlot;
/seL4-test-master/kernel/src/arch/x86/64/machine/
H A Dcapdl.c188 lookupPDSlot_ret_t pdSlot;

Completed in 48 milliseconds