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

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

Completed in 111 milliseconds