Searched refs:maskVMRights (Results 1 - 12 of 12) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/ |
| H A D | vspace.h | 47 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights,
|
| /seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/ |
| H A D | vspace.h | 64 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights,
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/ |
| H A D | objecttype.c | 135 vm_rights = maskVMRights(vm_rights, cap_rights_mask);
143 vm_rights = maskVMRights(vm_rights, cap_rights_mask);
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
| H A D | vspace.h | 105 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask);
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
| H A D | objecttype.c | 78 vm_rights = maskVMRights(vm_rights, cap_rights_mask);
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/object/ |
| H A D | objecttype.c | 128 vm_rights = maskVMRights(vm_rights, cap_rights_mask);
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | vspace.c | 637 maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) function
879 vm_rights_t vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask));
960 vm_rights_t vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask));
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | objecttype.c | 177 vm_rights = maskVMRights(vm_rights, cap_rights_mask);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | vspace.c | 674 vm_rights_t CONST maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) function
1038 vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask));
1164 vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask));
|
| H A D | ept.c | 886 vmRights = maskVMRights(capVMRights, rightsFromWord(w_rightsMask));
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 137 maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) function
2519 maskVMRights(capVMRights, rightsFromWord(w_rightsMask));
2656 maskVMRights(capVMRights, rightsFromWord(w_rightsMask));
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 188 maskVMRights(vm_rights_t vm_rights, seL4_CapRights_t cap_rights_mask) function
2138 vmRights = maskVMRights(cap_frame_cap_get_capFVMRights(cap),
2257 vmRights = maskVMRights(cap_frame_cap_get_capFVMRights(cap),
|
Completed in 299 milliseconds