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

/seL4-mcs-10.1.1/include/kernel/
H A Dcspace.h63 resolveAddressBits_ret_t resolveAddressBits(cap_t nodeCap,
/seL4-mcs-10.1.1/src/kernel/
H A Dcspace.c65 res_ret = resolveAddressBits(threadRoot, capptr, wordBits);
96 res_ret = resolveAddressBits(root, capptr, depth);
100 /* current_lookup_fault will have been set by resolveAddressBits */
138 resolveAddressBits(cap_t nodeCap, cptr_t capptr, word_t n_bits) function

Completed in 31 milliseconds