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 27 milliseconds