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

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

Completed in 103 milliseconds