/seL4-test-master/kernel/include/arch/arm/arch/kernel/ |
H A D | vspace.h | 24 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 D | vspace.h | 96 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 D | objecttype.c | 123 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 D | objecttype.c | 61 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 D | vspace.h | 18 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 D | vspace.c | 505 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 D | vspace.c | 39 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 D | objecttype.c | 170 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 D | objecttype.c | 127 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 D | vspace.c | 67 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 D | structures.h | 40 enum vm_rights { enum
|
/seL4-test-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 860 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 D | vspace.c | 133 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 D | vspace.c | 97 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 D | structures.h | 222 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 D | structures.h | 133 enum vm_rights { enum
|
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/ |
H A D | structures.h | 26 enum vm_rights { enum
|
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/ |
H A D | structures.h | 29 enum vm_rights { enum
|