Searched refs:capptr (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/seL4/include/kernel/ |
| H A D | cspace.h | 53 lookupSlot_raw_ret_t lookupSlot(tcb_t *thread, cptr_t capptr);
55 cap_t root, cptr_t capptr,
57 lookupSlot_ret_t lookupSourceSlot(cap_t root, cptr_t capptr,
59 lookupSlot_ret_t lookupTargetSlot(cap_t root, cptr_t capptr,
61 lookupSlot_ret_t lookupPivotSlot(cap_t root, cptr_t capptr,
64 cptr_t capptr,
|
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | cspace.c | 58 lookupSlot(tcb_t *thread, cptr_t capptr) argument
65 res_ret = resolveAddressBits(threadRoot, capptr, wordBits);
73 lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr, argument
96 res_ret = resolveAddressBits(root, capptr, depth);
120 lookupSourceSlot(cap_t root, cptr_t capptr, word_t depth) argument
122 return lookupSlotForCNodeOp(true, root, capptr, depth);
126 lookupTargetSlot(cap_t root, cptr_t capptr, word_t depth) argument
128 return lookupSlotForCNodeOp(false, root, capptr, depth);
132 lookupPivotSlot(cap_t root, cptr_t capptr, word_t depth) argument
134 return lookupSlotForCNodeOp(true, root, capptr, dept
138 resolveAddressBits(cap_t nodeCap, cptr_t capptr, word_t n_bits) argument
[all...] |
Completed in 85 milliseconds