Searched refs:cte (Results 1 - 17 of 17) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/
H A Dvspace.h87 static inline exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *cte) argument
89 cap_page_upper_directory_cap_ptr_set_capPUDMappedASID(&cte->cap, asid);
90 cap_page_upper_directory_cap_ptr_set_capPUDIsMapped(&cte->cap, 1);
92 PUDE_PTR(cap_page_upper_directory_cap_get_capPUDBasePtr(cte->cap));
131 static inline exception_t performASIDPoolInvocation(asid_t asid, asid_pool_t *poolPtr, cte_t *cte) argument
133 cap_page_global_directory_cap_ptr_set_capPGDMappedASID(&cte->cap, asid);
134 cap_page_global_directory_cap_ptr_set_capPGDIsMapped(&cte->cap, 1);
136 PGDE_PTR(cap_page_global_directory_cap_get_capPGDBasePtr(cte->cap));
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dept.h47 exception_t decodeX86EPTInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap,
49 exception_t decodeX86EPTPDInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps,
51 exception_t decodeX86EPTPTInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps,
53 exception_t decodeX86EPTPageMap(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps,
H A Dvspace.h95 exception_t decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap,
104 exception_t decodeX86MMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte,
107 exception_t decodeX86ModeMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte,
110 exception_t decodeIA32PageDirectoryInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap,
114 exception_t decodeX86FrameInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps,
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dept.c237 static exception_t performEPTPDPTInvocationUnmap(cap_t cap, cte_t *cte) argument
247 cap_ept_pdpt_cap_ptr_set_capPDPTIsMapped(&(cte->cap), 0);
252 static exception_t performEPTPDPTInvocationMap(cap_t cap, cte_t *cte, ept_pml4e_t pml4e, ept_pml4e_t *pml4Slot, argument
255 cte->cap = cap;
265 cte_t *cte,
281 if (!isFinalCapability(cte)) {
286 return performEPTPDPTInvocationUnmap(cap, cte);
363 return performEPTPDPTInvocationMap(cap, cte, pml4e, pml4Slot, pml4);
370 cte_t *cte,
378 return decodeX86EPTPDPTInvocation(invLabel, length, cte, ca
262 decodeX86EPTPDPTInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
366 decodeX86EPTInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
442 performEPTPDInvocationUnmap(cap_t cap, cte_t *cte) argument
457 performEPTPDInvocationMap(cap_t cap, cte_t *cte, ept_pdpte_t pdpte, ept_pdpte_t *pdptSlot, ept_pml4e_t *pml4) argument
467 decodeX86EPTPDInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
631 performEPTPTInvocationUnmap(cap_t cap, cte_t *cte) argument
646 performEPTPTInvocationMap(cap_t cap, cte_t *cte, ept_pde_t pde, ept_pde_t *pdSlot, ept_pml4e_t *pml4) argument
655 decodeX86EPTPTInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
768 performEPTPageMapPTE(cap_t cap, cte_t *cte, ept_pte_t *ptSlot, ept_pte_t pte, ept_pml4e_t *pml4) argument
777 performEPTPageMapPDE(cap_t cap, cte_t *cte, ept_pde_t *pdSlot, ept_pde_t pde1, ept_pde_t pde2, ept_pml4e_t *pml4) argument
790 decodeX86EPTPageMap( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
[all...]
H A Dvspace.c833 static exception_t performX86FrameInvocationUnmap(cap_t cap, cte_t *cte) argument
838 return performX86PageInvocationUnmap(cap, cte);
841 return performX86IOUnMapInvocation(cap, cte);
845 return performX86EPTPageInvocationUnmap(cap, cte);
927 cte_t *cte,
1050 return performX86PageInvocationMapPTE(cap, cte, map_ret.ptSlot, map_ret.pte, vspace);
1063 return performX86PageInvocationMapPDE(cap, cte, map_ret.pdSlot, map_ret.pde, vspace);
1067 return decodeX86ModeMapPage(invLabel, frameSize, cte, cap, vspace, vaddr, paddr, vmRights, vmAttr);
1076 return performX86FrameInvocationUnmap(cap, cte);
1081 return decodeX86IOMapInvocation(length, cte, ca
924 decodeX86FrameInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
1132 decodeX86PageTableInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
1247 decodeX86MMUInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
[all...]
/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h47 cte_t *cte, cap_t cap, extra_caps_t excaps,
/seL4-test-master/kernel/include/object/
H A Dcnode.h41 bool_t PURE isFinalCapability(cte_t *cte);
H A Dstructures.h154 struct cte { struct
158 typedef struct cte cte_t;
/seL4-test-master/kernel/src/arch/x86/object/
H A Diospace.c22 vtd_cte_t *cte; member in struct:lookupVTDContextSlot_ret
124 vtd_cte_t *cte = lookup_vtd_context_slot(cap); local
125 assert(cte != 0);
126 *cte = vtd_cte_new(
135 flushCacheRange(cte, VTD_CTE_SIZE_BITS);
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1137 cte_t *cte,
1153 if (!isFinalCapability(cte)) {
1160 return performX64PageDirectoryInvocationUnmap(cap, cte);
1247 return performX64PageDirectoryInvocationMap(cap, cte, pdpte, pdptSlot.pdptSlot, vspace);
1302 cte_t *cte,
1317 if (!isFinalCapability(cte)) {
1325 return performX64PDPTInvocationUnmap(cap, cte);
1403 return performX64PDPTInvocationMap(cap, cte, pml4e, pml4Slot, vspace);
1410 cte_t *cte,
1423 return decodeX64PDPTInvocation(label, length, cte, ca
1134 decodeX64PageDirectoryInvocation( word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer ) argument
1299 decodeX64PDPTInvocation( word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
1406 decodeX86ModeMMUInvocation( word_t label, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer ) argument
1509 decodeX86ModeMapPage(word_t label, vm_page_size_t page_size, cte_t *cte, cap_t cap, vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr) argument
[all...]
/seL4-test-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1690 cte_t *cte, cap_t cap, extra_caps_t extraCaps,
1789 cte_t *cte, cap_t cap, extra_caps_t extraCaps,
1801 if (unlikely(!isFinalCapability(cte))) {
1807 return performUpperPageDirectoryInvocationUnmap(cap, cte);
1872 return performUpperPageDirectoryInvocationMap(cap, cte, pgde, pgdSlot.pgdSlot);
1877 cte_t *cte, cap_t cap, extra_caps_t extraCaps,
1889 if (unlikely(!isFinalCapability(cte))) {
1895 return performPageDirectoryInvocationUnmap(cap, cte);
1966 return performPageDirectoryInvocationMap(cap, cte, pude, pudSlot.pudSlot);
1970 cte_t *cte, cap_
1689 decodeARMVSpaceRootInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
1788 decodeARMPageUpperDirectoryInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
1876 decodeARMPageDirectoryInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
1969 decodeARMPageTableInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
2062 decodeARMFrameInvocation(word_t invLabel, unsigned int length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
2270 decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
[all...]
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h55 cte_t *cte, cap_t cap, extra_caps_t extraCaps,
/seL4-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c677 cte_t *cte, cap_t cap, extra_caps_t extraCaps,
681 if (unlikely(!isFinalCapability(cte))) {
700 return performPageTableInvocationUnmap(cap, cte);
792 return performPageTableInvocationMap(cap, cte, pte, ptSlot);
796 cte_t *cte, cap_t cap, extra_caps_t extraCaps,
902 return performPageInvocationMapPTE(cap, cte, pte, lu_ret.ptSlot);
907 return performPageInvocationUnmap(cap, cte);
929 cte_t *cte, cap_t cap, extra_caps_t extraCaps,
935 return decodeRISCVPageTableInvocation(label, length, cte, cap, extraCaps, buffer);
938 return decodeRISCVFrameInvocation(label, length, cte, ca
676 decodeRISCVPageTableInvocation(word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
795 decodeRISCVFrameInvocation(word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
928 decodeRISCVMMUInvocation(word_t label, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
[all...]
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c631 cte_t *cte,
639 return decodeIA32PageDirectoryInvocation(invLabel, length, cte, cap, excaps, buffer);
653 exception_t decodeX86ModeMapPage(word_t invLabel, vm_page_size_t page_size, cte_t *cte, cap_t cap, argument
627 decodeX86ModeMMUInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
H A Dvspace_32paging.c246 cte_t *cte,
243 decodeIA32PageDirectoryInvocation( word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2045 cptr_t cptr, cte_t *cte, cap_t cap,
2155 cte_t *cte, cap_t cap, extra_caps_t excaps,
2170 if (unlikely(! isFinalCapability(cte))) {
2176 return performPageTableInvocationUnmap(cap, cte);
2275 return performPageTableInvocationMap(cap, cte, pde, pdSlot);
2279 cte_t *cte, cap_t cap, extra_caps_t excaps,
2405 return performPageInvocationMapPTE(asid, cap, cte,
2423 return performPageInvocationMapPDE(asid, cap, cte,
2433 return performPageInvocationUnmapIO(cap, cte);
2438 return performPageInvocationUnmap(cap, cte);
2044 decodeARMPageDirectoryInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
2154 decodeARMPageTableInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
2278 decodeARMFrameInvocation(word_t invLabel, word_t length, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
2548 decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t excaps, word_t *buffer) argument
[all...]
/seL4-test-master/kernel/src/object/
H A Dcnode.c840 bool_t PURE isFinalCapability(cte_t *cte) argument
845 mdb = cte->cteMDBNode;
853 prevIsSameObject = sameObjectAs(prev->cap, cte->cap);
865 return !sameObjectAs(cte->cap, next->cap);

Completed in 164 milliseconds