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

/seL4-l4v-master/seL4/src/object/
H A Dobjecttype.c416 word_t guard, guardSize; local
419 guardSize = seL4_CNode_CapData_get_guardSize(w);
421 if (guardSize + cap_cnode_cap_get_capCNodeRadix(cap) > wordBits) {
426 guard = seL4_CNode_CapData_get_guard(w) & MASK(guardSize);
429 guardSize);

Completed in 35 milliseconds