src/kernel/cspace.c

61     resolveAddressBits_ret_t res_ret;
65     res_ret = resolveAddressBits(threadRoot, capptr, wordBits);
67     ret.status = res_ret.status;
68     ret.slot = res_ret.slot;
76     resolveAddressBits_ret_t res_ret;
96     res_ret = resolveAddressBits(root, capptr, depth);
97     if (unlikely(res_ret.status != EXCEPTION_NONE)) {
105     if (unlikely(res_ret.bitsRemaining != 0)) {
109             lookup_fault_depth_mismatch_new(0, res_ret.bitsRemaining);
114     ret.slot = res_ret.slot;