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

/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c138 resolveAddressBits(cap_t nodeCap, cptr_t capptr, word_t n_bits) argument
148 if (unlikely(cap_get_capType(nodeCap) != cap_cnode_cap)) {
155 radixBits = cap_cnode_cap_get_capCNodeRadix(nodeCap);
156 guardBits = cap_cnode_cap_get_capCNodeGuardSize(nodeCap);
162 capGuard = cap_cnode_cap_get_capCNodeGuard(nodeCap);
184 slot = CTE_PTR(cap_cnode_cap_get_capCNodePtr(nodeCap)) + offset;
196 nodeCap = slot->cap;
198 if (unlikely(cap_get_capType(nodeCap) != cap_cnode_cap)) {
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c40 cap_t nodeCap; local
113 nodeCap = excaps.excaprefs[0]->cap;
121 nodeCap = lu_ret.slot->cap;
125 if (cap_get_capType(nodeCap) != cap_cnode_cap) {
134 nodeSize = 1ul << cap_cnode_cap_get_capCNodeRadix(nodeCap);
160 slots.cnode = CTE_PTR(cap_cnode_cap_get_capCNodePtr(nodeCap));
/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dcspace.h63 resolveAddressBits_ret_t resolveAddressBits(cap_t nodeCap,

Completed in 105 milliseconds