Searched defs:vmRights (Results 1 - 6 of 6) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/x86/kernel/ |
| H A D | ept.c | 804 vm_rights_t vmRights; local
|
| 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
892 static create_mapping_pde_return_t createSafeMappingEntries_PDE(paddr_t base, word_t vaddr, vm_rights_t vmRights, argument
942 vm_rights_t vmRights; local
|
| /seL4-camkes-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
|
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 894 vm_rights_t vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask)); local
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2289 vm_rights_t capVMRights, vmRights; local
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-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 2073 vm_rights_t vmRights; local
|
Completed in 122 milliseconds