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

/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dcspace.h61 lookupSlot_ret_t lookupPivotSlot(cap_t root, cptr_t capptr,
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c132 lookupPivotSlot(cap_t root, cptr_t capptr, word_t depth) function
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c256 lu_ret = lookupPivotSlot(pivotRoot, pivotIndex, pivotDepth);

Completed in 40 milliseconds