Searched refs:wordFromVMRights (Results 1 – 10 of 10) sorted by relevance
| /seL4-master/src/arch/riscv/object/ |
| A D | objecttype.c | 65 return cap_frame_cap_set_capFVMRights(cap, wordFromVMRights(vm_rights)); in Arch_maskCapRights()
216 wordFromVMRights(VMReadWrite), /* capFVMRights */ in Arch_createObject()
239 wordFromVMRights(VMReadWrite), /* capFVMRights */ in Arch_createObject()
264 wordFromVMRights(VMReadWrite), /* capFVMRights */ in Arch_createObject()
|
| /seL4-master/src/arch/arm/32/object/ |
| A D | objecttype.c | 129 wordFromVMRights(vm_rights)); in Arch_maskCapRights()
137 wordFromVMRights(vm_rights)); in Arch_maskCapRights()
|
| /seL4-master/include/object/ |
| A D | structures.h | 222 static inline word_t CONST wordFromVMRights(vm_rights_t vm_rights) in wordFromVMRights() function
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | boot.c | 44 wordFromVMRights(VMReadWrite), /* capFVMRights */ in create_mapped_it_frame_cap()
|
| /seL4-master/src/arch/arm/64/object/ |
| A D | objecttype.c | 132 return cap_frame_cap_set_capFVMRights(cap, wordFromVMRights(vm_rights)); in Arch_maskCapRights()
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 485 wordFromVMRights(VMReadWrite), /* capFVMRights */ in create_it_frame_cap()
|
| /seL4-master/src/arch/x86/object/ |
| A D | objecttype.c | 174 return cap_frame_cap_set_capFVMRights(cap, wordFromVMRights(vm_rights)); in Arch_maskCapRights()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 427 wordFromVMRights(VMReadWrite), /* capFVMRights */ in create_it_frame_cap()
437 wordFromVMRights(VMReadWrite), /* capFVMRights */ in create_it_frame_cap()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 779 wordFromVMRights(VMReadWrite), /* capFVMRights */ in create_it_frame_cap()
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 362 wordFromVMRights(VMReadWrite), /* capFVMRights */ in create_it_frame_cap()
|
Completed in 22 milliseconds