Searched defs:seL4_CapRights (Results 1 - 1 of 1) sorted by relevance
/seL4-mcs-10.1.1/include/api/ | ||
H A D | types.h | 50 seL4_CapRights_t seL4_CapRights; local 57 wordFromRights(seL4_CapRights_t seL4_CapRights) argument |
Completed in 65 milliseconds