Searched defs:seL4_CapRights (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/include/api/ | ||
H A D | types.h | 44 seL4_CapRights_t seL4_CapRights; local 50 static inline word_t CONST wordFromRights(seL4_CapRights_t seL4_CapRights) argument |
Completed in 31 milliseconds