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