Searched refs:n_bits (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
145 ret.bitsRemaining = n_bits;
164 /* sjw --- the MASK(5) here is to avoid the case where n_bits = 32
168 guard = (capptr >> ((n_bits - guardBits) & MASK(wordRadix))) & MASK(guardBits);
169 if (unlikely(guardBits > n_bits || guard != capGuard)) {
171 lookup_fault_guard_mismatch_new(capGuard, n_bits, guardBits);
176 if (unlikely(levelBits > n_bits)) {
178 lookup_fault_depth_mismatch_new(levelBits, n_bits);
183 offset = (capptr >> (n_bits - levelBits)) & MASK(radixBits);
186 if (likely(n_bits <
[all...]
/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dbraces.py127 n_bits = bit.split(str)
129 n_bits = bit.split(str, d)
130 bits.extend(n_bits)
131 bbs.extend([[b] for b in n_bits])
/seL4-l4v-10.1.1/seL4/include/kernel/
H A Dcspace.h65 word_t n_bits);

Completed in 43 milliseconds