Searched refs:rightsFromWord (Results 1 - 9 of 9) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/api/ |
| H A D | types.h | 46 rightsFromWord(word_t w) function
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
| H A D | iospace.c | 326 dma_cap_rights_mask = rightsFromWord(getSyscallArg(0, buffer));
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | iospace.c | 391 dma_cap_rights_mask = rightsFromWord(getSyscallArg(0, buffer));
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | vspace.c | 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/object/ |
| H A D | cnode.c | 123 cap_rights = rightsFromWord(getSyscallArg(4, buffer));
142 cap_rights = rightsFromWord(getSyscallArg(4, buffer));
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | vspace.c | 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 | 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 | 2139 rightsFromWord(getSyscallArg(1, buffer)));
2258 rightsFromWord(getSyscallArg(0, buffer)));
|
Completed in 104 milliseconds