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

/seL4-l4v-10.1.1/seL4/include/fastpath/
H A Dfastpath.h21 word_t radix, capGuard; local
34 capGuard = cap_cnode_cap_get_capCNodeGuard(cap);
40 if (likely(guardBits) && unlikely(cptr2 >> (wordBits - guardBits) != capGuard)) {
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c142 word_t capGuard, offset; local
162 capGuard = cap_cnode_cap_get_capCNodeGuard(nodeCap);
169 if (unlikely(guardBits > n_bits || guard != capGuard)) {
171 lookup_fault_guard_mismatch_new(capGuard, n_bits, guardBits);

Completed in 73 milliseconds