Searched refs:lus_ret (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/kernel/src/object/
H A Dcnode.c894 lookupSlot_ret_t lus_ret; local
911 lus_ret = lookupTargetSlot(cnode, ct.ctReceiveIndex, ct.ctReceiveDepth);
912 if (lus_ret.status != EXCEPTION_NONE) {
915 slot = lus_ret.slot;

Completed in 27 milliseconds