Searched refs:vm_rights (Results 1 - 18 of 18) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h24 void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attributes_t vm_attributes);
43 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights,
/seL4-test-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h96 vspace_root_t *vroot, vptr_t vptr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr);
101 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask);
117 uint32_t CONST WritableFromVMRights(vm_rights_t vm_rights);
118 uint32_t CONST SuperUserFromVMRights(vm_rights_t vm_rights);
124 pte_t CONST makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights);
126 pde_t CONST makeUserPDELargePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights);
/seL4-test-master/kernel/src/arch/arm/32/object/
H A Dobjecttype.c123 vm_rights_t vm_rights; local
125 vm_rights = vmRightsFromWord(
127 vm_rights = maskVMRights(vm_rights, cap_rights_mask);
129 wordFromVMRights(vm_rights));
131 vm_rights_t vm_rights; local
133 vm_rights = vmRightsFromWord(
135 vm_rights = maskVMRights(vm_rights, cap_rights_mask);
137 wordFromVMRights(vm_rights));
[all...]
/seL4-test-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c61 vm_rights_t vm_rights; local
63 vm_rights = vmRightsFromWord(cap_frame_cap_get_capFVMRights(cap));
64 vm_rights = maskVMRights(vm_rights, cap_rights_mask);
65 return cap_frame_cap_set_capFVMRights(cap, wordFromVMRights(vm_rights));
/seL4-test-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h18 void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights);
52 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights,
/seL4-test-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c505 pde_t CONST makeUserPDELargePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
516 SuperUserFromVMRights(vm_rights), /* super_user */
517 WritableFromVMRights(vm_rights), /* read_write */
553 pte_t CONST makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
564 SuperUserFromVMRights(vm_rights), /* super_user */
565 WritableFromVMRights(vm_rights), /* read_write */
654 vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t vm_attr)
653 decodeX86ModeMapPage(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-test-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c39 static word_t CONST RISCVGetWriteFromVMRights(vm_rights_t vm_rights) argument
42 return vm_rights == VMReadWrite;
45 static inline word_t CONST RISCVGetReadFromVMRights(vm_rights_t vm_rights) argument
49 return vm_rights != VMKernelOnly;
86 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights) argument
360 vm_rights_t vm_rights; local
372 vm_rights = cap_frame_cap_get_capFVMRights(bufferCap);
373 if (likely(vm_rights == VMReadWrite ||
374 (!isReceiver && vm_rights == VMReadOnly))) {
632 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_ argument
649 makeUserPTE(paddr_t paddr, bool_t executable, vm_rights_t vm_rights) argument
[all...]
/seL4-test-master/kernel/src/arch/x86/object/
H A Dobjecttype.c170 vm_rights_t vm_rights; local
172 vm_rights = vmRightsFromWord(cap_frame_cap_get_capFVMRights(cap));
173 vm_rights = maskVMRights(vm_rights, cap_rights_mask);
174 return cap_frame_cap_set_capFVMRights(cap, wordFromVMRights(vm_rights));
/seL4-test-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c127 vm_rights_t vm_rights; local
129 vm_rights = vmRightsFromWord(cap_frame_cap_get_capFVMRights(cap));
130 vm_rights = maskVMRights(vm_rights, cap_rights_mask);
132 return cap_frame_cap_set_capFVMRights(cap, wordFromVMRights(vm_rights));
/seL4-test-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c67 static word_t CONST APFromVMRights(vm_rights_t vm_rights) argument
69 switch (vm_rights) {
90 static word_t CONST APFromVMRights(vm_rights_t vm_rights) argument
92 switch (vm_rights) {
107 static word_t CONST HAPFromVMRights(vm_rights_t vm_rights) argument
109 switch (vm_rights) {
128 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) argument
130 if (vm_rights == VMNoAccess) {
133 if (vm_rights == VMReadOnly &&
137 if (vm_rights
155 map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument
674 vm_rights_t vm_rights; local
835 makeUserPTE(vm_page_size_t page_size, paddr_t paddr, bool_t cacheable, bool_t nonexecutable, vm_rights_t vm_rights) argument
957 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-test-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h40 enum vm_rights { enum
/seL4-test-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c860 static pdpte_t CONST makeUserPDPTEHugePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
871 SuperUserFromVMRights(vm_rights), /* super user */
872 WritableFromVMRights(vm_rights), /* read write */
905 pde_t CONST makeUserPDELargePage(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
916 SuperUserFromVMRights(vm_rights), /* super_user */
917 WritableFromVMRights(vm_rights), /* read_write */
954 pte_t CONST makeUserPTE(paddr_t paddr, vm_attributes_t vm_attr, vm_rights_t vm_rights) argument
965 SuperUserFromVMRights(vm_rights), /* super_user */
966 WritableFromVMRights(vm_rights), /* read_write */
1510 vspace_root_t *vroot, vptr_t vaddr, paddr_t paddr, vm_rights_t vm_rights, vm_attributes_
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 Dvspace.c133 static word_t CONST APFromVMRights(vm_rights_t vm_rights) argument
135 switch (vm_rights) {
170 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) argument
172 if (vm_rights == VMReadOnly &&
176 if (vm_rights == VMReadWrite &&
184 if (vm_rights == VMReadWrite &&
209 BOOT_CODE void map_kernel_frame(paddr_t paddr, pptr_t vaddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument
231 APFromVMRights(vm_rights),
592 vm_rights_t vm_rights; local
604 vm_rights
795 makeUser3rdLevel(paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument
841 makeUser2ndLevel(paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument
884 makeUser1stLevel(paddr_t paddr, vm_rights_t vm_rights, vm_attributes_t attributes) argument
[all...]
/seL4-test-master/kernel/src/arch/x86/kernel/
H A Dvspace.c97 vm_rights_t vm_rights; local
109 vm_rights = cap_frame_cap_get_capFVMRights(bufferCap);
110 if (vm_rights == VMReadWrite || (!isReceiver && vm_rights == VMReadOnly)) {
586 uint32_t CONST WritableFromVMRights(vm_rights_t vm_rights) argument
588 switch (vm_rights) {
601 uint32_t CONST SuperUserFromVMRights(vm_rights_t vm_rights) argument
603 switch (vm_rights) {
670 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) argument
672 if (vm_rights
[all...]
/seL4-test-master/kernel/include/object/
H A Dstructures.h222 static inline word_t CONST wordFromVMRights(vm_rights_t vm_rights) argument
224 return (word_t)vm_rights;
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h133 enum vm_rights { enum
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/
H A Dstructures.h26 enum vm_rights { enum
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/
H A Dstructures.h29 enum vm_rights { enum

Completed in 381 milliseconds