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

/seL4-l4v-10.1.1/seL4/include/fastpath/
H A Dfastpath.h20 word_t guardBits, radixBits, bits; local
31 radixBits = cap_cnode_cap_get_capCNodeRadix(cap);
44 radix = cptr2 << guardBits >> (wordBits - radixBits);
48 bits += guardBits + radixBits;
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c141 word_t radixBits, guardBits, levelBits, guard; local
155 radixBits = cap_cnode_cap_get_capCNodeRadix(nodeCap);
157 levelBits = radixBits + guardBits;
183 offset = (capptr >> (n_bits - levelBits)) & MASK(radixBits);

Completed in 33 milliseconds