Searched refs:guardBits (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
30 guardBits = cap_cnode_cap_get_capCNodeGuardSize(cap);
40 if (likely(guardBits) && unlikely(cptr2 >> (wordBits - guardBits) != capGuard)) {
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
156 guardBits = cap_cnode_cap_get_capCNodeGuardSize(nodeCap);
157 levelBits = radixBits + guardBits;
165 and guardBits = 0, as it violates the C spec to >> by more
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);

Completed in 90 milliseconds