Searched refs:seL4_CanRead (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Dshared_types.h42 #define seL4_CanRead seL4_CapRights_new(0, 1, 0) macro
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dshared_types.h42 #define seL4_CanRead seL4_CapRights_new(0, 1, 0) macro
/seL4-l4v-10.1.1/l4v/camkes/glue-proofs/
H A DEventFrom.c654 seL4_CanRead enumerator in enum:__anon21
666 /* seL4_CanWrite | seL4_CanRead | seL4_CanGrant */
H A DEventTo.c554 seL4_CanRead enumerator in enum:__anon33
566 /* seL4_CanWrite | seL4_CanRead | seL4_CanGrant */
H A DRPCFrom.c655 seL4_CanRead enumerator in enum:__anon48
667 /* seL4_CanWrite | seL4_CanRead | seL4_CanGrant */
H A DRPCTo.c654 seL4_CanRead enumerator in enum:__anon63
666 /* seL4_CanWrite | seL4_CanRead | seL4_CanGrant */
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver443.c161 seL4_CanRead = 0x02, enumerator in enum:__anon88
164 /* seL4_CanWrite | seL4_CanRead | seL4_CanGrant */

Completed in 134 milliseconds