Lines Matching defs:capptr
58 lookupSlot(tcb_t *thread, cptr_t capptr)
65 res_ret = resolveAddressBits(threadRoot, capptr, wordBits);
73 lookupSlotForCNodeOp(bool_t isSource, cap_t root, cptr_t capptr,
96 res_ret = resolveAddressBits(root, capptr, depth);
120 lookupSourceSlot(cap_t root, cptr_t capptr, word_t depth)
122 return lookupSlotForCNodeOp(true, root, capptr, depth);
126 lookupTargetSlot(cap_t root, cptr_t capptr, word_t depth)
128 return lookupSlotForCNodeOp(false, root, capptr, depth);
132 lookupPivotSlot(cap_t root, cptr_t capptr, word_t depth)
134 return lookupSlotForCNodeOp(true, root, capptr, depth);
138 resolveAddressBits(cap_t nodeCap, cptr_t capptr, word_t n_bits)
168 guard = (capptr >> ((n_bits - guardBits) & MASK(wordRadix))) & MASK(guardBits);
183 offset = (capptr >> (n_bits - levelBits)) & MASK(radixBits);