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

/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dcspace.h57 lookupSlot_ret_t lookupSourceSlot(cap_t root, cptr_t capptr,
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c120 lookupSourceSlot(cap_t root, cptr_t capptr, word_t depth) function
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c98 lu_ret = lookupSourceSlot(srcRoot, srcIndex, srcDepth);
250 lu_ret = lookupSourceSlot(srcRoot, srcIndex, srcDepth);

Completed in 36 milliseconds