Searched refs:vmRights (Results 1 - 6 of 6) sorted by relevance
/seL4-test-master/kernel/src/arch/x86/kernel/ |
H A D | vspace.c | 863 static create_mapping_pte_return_t createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, argument 879 ret.pte = makeUserPTE(base, attr, vmRights); 892 static create_mapping_pde_return_t createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_rights_t vmRights, argument 918 ret.pde = makeUserPDELargePage(base, attr, vmRights); 942 vm_rights_t vmRights; local 1025 vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask)); 1044 map_ret = createSafeMappingEntries_PTE(paddr, vaddr, vmRights, vmAttr, vspace); 1057 map_ret = createSafeMappingEntries_PDE(paddr, vaddr, vmRights, vmAttr, vspace); 1067 return decodeX86ModeMapPage(invLabel, frameSize, cte, cap, vspace, vaddr, paddr, vmRights, vmAttr);
|
H A D | ept.c | 804 vm_rights_t vmRights; local 856 vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask)); 896 WritableFromVMRights(vmRights), 943 WritableFromVMRights(vmRights), 952 WritableFromVMRights(vmRights),
|
/seL4-test-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 1613 vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) 1630 vmRights); 1670 vmRights); 1713 vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) 1732 vmRights); 1762 vmRights); 2289 vm_rights_t capVMRights, vmRights; local 2374 vmRights = 2393 frameSize, vmRights, 2411 frameSize, vmRights, 1611 createSafeMappingEntries_PTE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument 1711 createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_page_size_t frameSize, vm_rights_t vmRights, vm_attributes_t attr, pde_t *pd) argument [all...] |
/seL4-test-master/kernel/src/arch/arm/64/kernel/ |
H A D | vspace.c | 2073 vm_rights_t vmRights; local 2088 vmRights = maskVMRights(cap_frame_cap_get_capFVMRights(cap), 2158 makeUser3rdLevel(base, vmRights, attributes), lu_ret.ptSlot); 2171 makeUser2ndLevel(base, vmRights, attributes), lu_ret.pdSlot); 2184 makeUser1stLevel(base, vmRights, attributes), lu_ret.pudSlot);
|
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1479 static create_mapping_pdpte_return_t createSafeMappingEntries_PDPTE(paddr_t base, word_t vaddr, vm_rights_t vmRights, argument 1504 ret.pdpte = makeUserPDPTEHugePage(base, attr, vmRights);
|
/seL4-test-master/kernel/src/arch/riscv/kernel/ |
H A D | vspace.c | 894 vm_rights_t vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask)); local 900 pte_t pte = makeUserPTE(frame_paddr, executable, vmRights);
|
Completed in 112 milliseconds