Searched refs:seL4_NoRights (Results 1 - 10 of 10) sorted by relevance
| /seL4-camkes-master/kernel/libsel4/include/sel4/ |
| H A D | shared_types.h | 41 #define seL4_NoRights seL4_CapRights_new(0, 0, 0, 0) macro
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/ |
| H A D | guest_memory_util.c | 42 vm_frame_t frame_result = { seL4_CapNull, seL4_NoRights, 0, 0 };
77 vm_frame_t frame_result = { seL4_CapNull, seL4_NoRights, 0, 0 };
120 vm_frame_t frame_result = { seL4_CapNull, seL4_NoRights, 0, 0 };
143 vm_frame_t frame_result = { seL4_CapNull, seL4_NoRights, 0, 0 };
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/ |
| H A D | guest_ram.c | 251 vm_frame_t frame_result = { seL4_CapNull, seL4_NoRights, 0, 0 };
275 vm_frame_t frame_result = { seL4_CapNull, seL4_NoRights, 0, 0 };
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | boot.c | 60 vm_frame_t frame_result = { seL4_CapNull, seL4_NoRights, 0, 0 };
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
| H A D | cross_vm_connection.c | 164 vm_frame_t frame_result = { seL4_CapNull, seL4_NoRights, 0, 0 };
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
| H A D | acpi.c | 72 vm_frame_t frame_result = { seL4_CapNull, seL4_NoRights, 0, 0 };
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | elf.c | 307 seL4_CapRights_t prev_rights = seL4_NoRights;
|
| /seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/ |
| H A D | Object.py | 109 _order_ = 'seL4_NoRights seL4_CanRead seL4_CanWrite seL4_CanGrant seL4_CanGrantReply seL4_AllRights'
110 seL4_NoRights = 0 variable in class:ObjectRights
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 635 reservation_t reservation = sel4utils_reserve_range_at(vspace, vaddr, size, seL4_NoRights, cacheable);
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/vgic/ |
| H A D | vgic.c | 1083 vm_frame_t frame_result = { seL4_CapNull, seL4_NoRights, 0, 0 };
|
Completed in 163 milliseconds