Searched refs:luc_ret (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/src/object/ | ||
H A D | cnode.c | 893 lookupCap_ret_t luc_ret; local 905 luc_ret = lookupCap(thread, cptr); 906 if (luc_ret.status != EXCEPTION_NONE) { 909 cnode = luc_ret.cap; |
Completed in 31 milliseconds