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

/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c863 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 Dept.c804 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 Dvspace.c1613 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 Dvspace.c2073 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 Dvspace.c1479 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 Dvspace.c894 vm_rights_t vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask)); local
900 pte_t pte = makeUserPTE(frame_paddr, executable, vmRights);

Completed in 112 milliseconds