| /seL4-master/src/arch/x86/kernel/ |
| A D | ept.c | 235 static exception_t performEPTPDPTInvocationUnmap(cap_t cap, cte_t *cte) in performEPTPDPTInvocationUnmap()
250 static exception_t performEPTPDPTInvocationMap(cap_t cap, cte_t *cte, ept_pml4e_t pml4e, ept_pml4e_… in performEPTPDPTInvocationMap()
263 cte_t *cte, in decodeX86EPTPDPTInvocation()
367 cte_t *cte, in decodeX86EPTInvocation()
438 static exception_t performEPTPDInvocationUnmap(cap_t cap, cte_t *cte) in performEPTPDInvocationUnmap()
453 static exception_t performEPTPDInvocationMap(cap_t cap, cte_t *cte, ept_pdpte_t pdpte, ept_pdpte_t … in performEPTPDInvocationMap()
466 cte_t *cte, in decodeX86EPTPDInvocation()
626 static exception_t performEPTPTInvocationUnmap(cap_t cap, cte_t *cte) in performEPTPTInvocationUnmap()
653 cte_t *cte, in decodeX86EPTPTInvocation()
771 static exception_t performEPTPageMapPDE(cap_t cap, cte_t *cte, ept_pde_t *pdSlot, ept_pde_t pde1, e… in performEPTPageMapPDE()
[all …]
|
| A D | vspace.c | 833 static exception_t performX86FrameInvocationUnmap(cap_t cap, cte_t *cte) in performX86FrameInvocationUnmap()
927 cte_t *cte, in decodeX86FrameInvocation()
1134 cte_t *cte, cap_t cap, in decodeX86PageTableInvocation()
1249 cte_t *cte, in decodeX86MMUInvocation()
|
| /seL4-master/include/arch/arm/arch/64/mode/kernel/ |
| A D | vspace.h | 87 static inline exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *cte) in performASIDPoolInvocation()
131 static inline exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *cte) in performASIDPoolInvocation()
|
| /seL4-master/src/arch/x86/object/ |
| A D | iospace.c | 22 vtd_cte_t *cte; member
124 vtd_cte_t *cte = lookup_vtd_context_slot(cap); in unmapVTDContextEntry() local
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 631 cte_t *cte, in decodeX86ModeMMUInvocation()
652 exception_t decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap, in decodeX86ModeMapPage()
|
| A D | vspace_32paging.c | 246 cte_t *cte, in decodeIA32PageDirectoryInvocation()
|
| /seL4-master/include/object/ |
| A D | structures.h | 154 struct cte { struct
156 mdb_node_t cteMDBNode; argument
158 typedef struct cte cte_t; argument
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 1137 cte_t *cte, in decodeX64PageDirectoryInvocation()
1301 cte_t *cte, in decodeX64PDPTInvocation()
1408 cte_t *cte, in decodeX86ModeMMUInvocation()
1506 exception_t decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, in decodeX86ModeMapPage()
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 1695 cte_t *cte, cap_t cap, word_t *buffer) in decodeARMVSpaceRootInvocation()
1793 cte_t *cte, cap_t cap, word_t *buffer) in decodeARMPageUpperDirectoryInvocation()
1880 cte_t *cte, cap_t cap, word_t *buffer) in decodeARMPageDirectoryInvocation()
1972 cte_t *cte, cap_t cap, word_t *buffer) in decodeARMPageTableInvocation()
2064 cte_t *cte, cap_t cap, word_t *buffer) in decodeARMFrameInvocation()
2271 cte_t *cte, cap_t cap, word_t *buffer) in decodeARMMMUInvocation()
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 677 cte_t *cte, cap_t cap, word_t *buffer) in decodeRISCVPageTableInvocation()
795 cte_t *cte, cap_t cap, word_t *buffer) in decodeRISCVFrameInvocation()
927 cte_t *cte, cap_t cap, word_t *buffer) in decodeRISCVMMUInvocation()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 1996 cptr_t cptr, cte_t *cte, cap_t cap,
2106 cte_t *cte, cap_t cap, word_t *buffer)
2229 cte_t *cte, cap_t cap, word_t *buffer)
2498 cte_t *cte, cap_t cap, word_t *buffer)
|
| /seL4-master/src/object/ |
| A D | cnode.c | 840 bool_t PURE isFinalCapability(cte_t *cte) in isFinalCapability()
|