Searched refs:seL4_AllRights (Results 1 - 7 of 7) sorted by relevance
/seL4-l4v-10.1.1/seL4/include/api/ | ||
H A D | shared_types.h | 41 #define seL4_AllRights seL4_CapRights_new(1, 1, 1) macro |
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/ | ||
H A D | shared_types.h | 41 #define seL4_AllRights seL4_CapRights_new(1, 1, 1) macro |
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ | ||
H A D | EventFrom.c | 662 seL4_AllRights enumerator in enum:__anon21 |
H A D | EventTo.c | 562 seL4_AllRights enumerator in enum:__anon33 |
H A D | RPCFrom.c | 663 seL4_AllRights enumerator in enum:__anon48 |
H A D | RPCTo.c | 662 seL4_AllRights enumerator in enum:__anon63 |
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ | ||
H A D | jiraver443.c | 163 seL4_AllRights = 0x07, enumerator in enum:__anon88 |
Completed in 103 milliseconds