src/kernel/cspace.c

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);