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

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dshared_types.h37 #define seL4_CanGrant seL4_CapRights_new(0, 1, 0, 0) macro
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DObject.py109 _order_ = 'seL4_NoRights seL4_CanRead seL4_CanWrite seL4_CanGrant seL4_CanGrantReply seL4_AllRights'
113 seL4_CanGrant = auto() variable in class:ObjectRights
115 seL4_AllRights = seL4_CanRead | seL4_CanWrite | seL4_CanGrant | seL4_CanGrantReply
H A DAllocator.py214 to one of 0/seL4_CanRead/seL4_CanWrite/seL4_CanGrant/seL4_AllRights,
239 kwargs['grant'] = kwargs['rights'] & ObjectRights.seL4_CanGrant > 0

Completed in 38 milliseconds