Searched refs:res_ret (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c61 resolveAddressBits_ret_t res_ret; local
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; local
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
[all...]

Completed in 33 milliseconds