/seL4-test-master/kernel/include/arch/arm/arch/64/mode/kernel/ |
H A D | vspace.h | 87 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 D | ept.h | 47 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 D | vspace.h | 95 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 D | ept.c | 237 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 D | vspace.c | 833 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 D | vspace.h | 47 cte_t *cte, cap_t cap, extra_caps_t excaps,
|
/seL4-test-master/kernel/include/object/ |
H A D | cnode.h | 41 bool_t PURE isFinalCapability(cte_t *cte);
|
H A D | structures.h | 154 struct cte { struct 158 typedef struct cte cte_t;
|
/seL4-test-master/kernel/src/arch/x86/object/ |
H A D | iospace.c | 22 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 D | vspace.c | 1137 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 D | vspace.c | 1690 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 D | vspace.h | 55 cte_t *cte, cap_t cap, extra_caps_t extraCaps,
|
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 677 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 D | vspace.c | 631 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 D | vspace_32paging.c | 246 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 D | vspace.c | 2045 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 D | cnode.c | 840 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);
|