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

/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c141 word_t radixBits, guardBits, levelBits, guard; local
157 levelBits = radixBits + guardBits;
160 assert(levelBits != 0);
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 <= levelBits)) {
193 /** GHOSTUPD: "(\<acute>levelBits > 0, id)" */
195 n_bits -= levelBits;

Completed in 30 milliseconds