| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/object/ |
| H A D | structures.h | 52 enum vm_rights { enum
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/ |
| H A D | objecttype.c | 131 vm_rights_t vm_rights; local
139 vm_rights_t vm_rights; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/object/ |
| H A D | objecttype.c | 125 vm_rights_t vm_rights; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
| H A D | objecttype.c | 75 vm_rights_t vm_rights; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | objecttype.c | 174 vm_rights_t vm_rights; local
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 33 enum vm_rights { enum
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/object/ |
| H A D | structures.h | 34 enum vm_rights { enum
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/ |
| H A D | structures.h | 150 enum vm_rights { enum
|
| /seL4-l4v-10.1.1/seL4/include/object/ |
| H A D | structures.h | 188 wordFromVMRights(vm_rights_t vm_rights) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 529 pde_t CONST makeUserPDELargePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
577 pte_t CONST makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
678 exception_t decodeX86ModeMapRemapPage(word_t invLabel, 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
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | vspace.c | 52 RISCVGetWriteFromVMRights(vm_rights_t vm_rights) argument
57 static word_t RISCVGetUserFromVMRights(vm_rights_t vm_rights) argument
63 RISCVGetReadFromVMRights(vm_rights_t vm_rights) argument
359 vm_rights_t vm_rights; local
637 maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) argument
666 makeUserPTE(paddr_t paddr, bool_t executable, vm_rights_t vm_rights) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 897 makeUserPDPTEHugePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
945 makeUserPDELargePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
997 makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
1575 decodeX86ModeMapRemapPage(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_ argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | vspace.c | 102 vm_rights_t vm_rights; local
590 uint32_t CONST WritableFromVMRights(vm_rights_t vm_rights) argument
605 uint32_t CONST SuperUserFromVMRights(vm_rights_t vm_rights) argument
674 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 73 APFromVMRights(vm_rights_t vm_rights) argument
97 APFromVMRights(vm_rights_t vm_rights) argument
115 HAPFromVMRights(vm_rights_t vm_rights) argument
137 maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) argument
165 map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument
714 vm_rights_t vm_rights; local
881 makeUserPTE(vm_page_size_t page_size, paddr_t paddr, bool_t cacheable, bool_t nonexecutable, vm_rights_t vm_rights) argument
1004 makeUserPDE(vm_page_size_t page_size, paddr_t paddr, bool_t parity, bool_t cacheable, bool_t nonexecutable, word_t domain, vm_rights_t vm_rights) argument
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 150 APFromVMRights(vm_rights_t vm_rights) argument
188 maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) argument
228 map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument
633 vm_rights_t vm_rights; local
835 makeUser3rdLevel(paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument
882 makeUser2ndLevel(paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument
926 makeUser1stLevel(paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument
[all...] |