Searched refs:lookupSlotForCNodeOp (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/kernel/ |
| H A D | cspace.h | 54 lookupSlot_ret_t lookupSlotForCNodeOp(bool_t isSource,
|
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | cspace.c | 73 lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr, function
122 return lookupSlotForCNodeOp(true, root, capptr, depth);
128 return lookupSlotForCNodeOp(false, root, capptr, depth);
134 return lookupSlotForCNodeOp(true, root, capptr, depth);
|
Completed in 36 milliseconds