Searched defs:seL4_CanGrantReply (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dshared_types.h38 #define seL4_CanGrantReply seL4_CapRights_new(1, 0, 0, 0) macro
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DObject.py114 seL4_CanGrantReply = auto() variable in class:ObjectRights

Completed in 30 milliseconds