Searched defs:finaliseCap_ret_t (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/include/object/ | ||
H A D | cap.h | 21 typedef struct finaliseCap_ret finaliseCap_ret_t; typedef in typeref:struct:finaliseCap_ret |
Completed in 34 milliseconds